#
Starred repositories
8
stars
written in Rocq Prover
Clear filter
Tricks you wish the Coq manual told you [maintainer=@tchajed]
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Compilation and Verification of Data-Centric Languages
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
This is a Coq formalization of Damas-Milner type system and its algorithm W.