List of awesome link for coq the proof assistant(WIP)
Creative Commons Zero v1.0 UniversalCC0-1.0
No issues in this repository yet.