Search

Find trending repositories by name or description.

4 results for “coq”

RankRepository7 daysStars24h gainScore

jwiegley/category-theory

Rocq Prover#9937 overall

An axiom-free formalization of category theory in Coq for personal study and practical work

7 daysStars81924h gain0Score0.0

OCaml#11228 overall

Archive for all Rocq and Coq-related opam packages organized in various repositories

7 daysStars17224h gain-Score0.0

OCaml#14407 overall

Rocq plugin embedding Elpi

7 daysStars19824h gain0Score0.0

LLVM#14491 overall

The Vellvm (Verified LLVM) coq development.

7 daysStars49324h gain-Score0.0