Starred repositories
6
stars
written in Rocq Prover
Clear filter
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
A library for formalizing Haskell types and functions in Coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
A compiler plug-in to control object lifetimes in Scala
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
