Repository Index

47,133 repositories indexed

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–2 of 2 · Most stars

rocq-community / corn

Rocq Prover 117 46

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

coq-library
real-number
coq
coq-ci

imdea-software / fcsl-pcm

Rocq Prover 35 13

Partial Commutative Monoids

partial-commutative-monoid
separation-logic
coq
coq-library