Stars
8
results
for source starred repositories
written in Rocq Prover
Clear filter
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Convert Haskell source code to Coq source code.
A Specification for Dependent Types in Haskell (Core)
Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.