awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

Stars

233

Forks

16

Language

None

Last Updated

Jan 16, 2024

Similar Repos