Repository Index

57,138 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–1 of 1 · Most stars

rocq-community / corn

Rocq Prover 117 46

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

coq-library
real-number
coq
coq-ci