Similar repositories to palmskog/coind-sem-while:

• palmskog/coind-sem-while github similar
• siddharth-krishna/weak-consistency-proofs github similar
• aspiwack/fulltrees github similar
• DmxLarchey/ite-normalisation github similar
• Event-Structures/event-struct github similar
• bedrocksystems/coq-lens github similar
• ayberkt/simplc github similar
• ak3n/abt-zoo github similar
• vyorkin/tiger github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• levjj/esverify-theory github similar
• andreasabel/ipl github similar
• bobatkey/system-f-parametricity-model github similar
• ziman/itt-idris github similar
• pigworker/potato github similar
• twanvl/ttie github similar
• arthuraa/extructures github similar
• mit-plv/bbv github similar
• QinxiangCao/UnifySL github similar
• rafaelcgs10/W-in-Coq github similar
• nachivpn/nbe-course github similar
• mietek/hilbert-gentzen github similar
• langston-barrett/coq-big-o github similar
• metaborg/linear.agda github similar
• mtt-lang/mtt-lang github similar
• edwinb/States github similar
• andgate/type-theory-compiler github similar
• denismerigoux/rox-star github similar
• aspiwack/peppermint-prover github similar
• slasser/vermillion github similar
• foreverbell/verified github similar
• garrigue/certint github similar
• iblech/internal-methods github similar
• andrejbauer/notes-on-realizability github similar
• grin-compiler/idris-grin github similar
• LightAndLight/qtt github similar
• sigurdschneider/lvc github similar
• j-baker/l1c github similar
• UlfNorell/x86-agda github similar
• mortberg/yacctt github similar