Formalizing Cardano in Isabelle

Developers Misc Dev Talk

p-alik 24 January 2018 07:10 1

Topic		Replies	Views	Activity
Looking for Haskell Dev Cardano Projects	1	497	9 January 2022
Hi All greetings from the Netherlands Introductions	5	690	15 March 2018
Hi from Shenzhen China Introductions	2	840	21 January 2018
Introduction Introductions	2	494	3 July 2020
正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編エデュケーション	0	354	5 May 2020