corn

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

108 stars

14 watching

43 forks

Language: Coq

last commit: 19 days ago

Linked from 2 awesome lists

coqcoq-cicoq-librarycoq-platformreal-number

Screenshot of coq-community/corn website

c-corn.github.io/

Backlinks from these awesome lists: