Formalizing Cardano in Isabelle

p-alik 24 January 2018 07:10 1

40 votes and 5 comments so far on Reddit

Powered by Discourse, best viewed with JavaScript enabled