GitHub topics: coq-formalizations
discus-lang/iron
Coq formalizations of functional languages.
Language: Coq - Size: 800 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 143 - Forks: 8
Blaisorblade/dot-iris
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
Language: HTML - Size: 9.98 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 31 - Forks: 1
