awesome-coq icon indicating copy to clipboard operation
awesome-coq copied to clipboard
verified publisher icon coq-community

Add related awesome lists section

Open anton-trunov opened this issue 5 years ago • 0 comments

E.g. this is a list one level up: https://github.com/awesomo4000/awesome-provable

anton-trunov avatar Feb 13 '20 16:02 anton-trunov