IPOSE遇见更好的你！

https://github.com/io12/coq-proofs

2018-12-16

开源项目/

2
https://github.com/proofengineering/icoq

2017-11-19

开源项目/

0
https://github.com/etawang/coq-practice

2017-07-23

开源项目/

0
https://github.com/yanhick/coq-exercises

2018-06-16

开源项目/

0
https://github.com/coq-community/docker-coq

2018-09-28

开源项目/

25
https://github.com/amintimany/Categories

2015-10-14

开源项目/

87
https://github.com/princeton-vl/CoqGym

2019-05-24

开源项目/

238
https://github.com/uds-psl/coq-library-undecidability

2018-10-26

开源项目/

47
https://github.com/coq-community/docker-base

2018-09-28

开源项目/

3
https://github.com/cambridgehackers/bsvtokami

2017-12-29

开源项目/

4
https://github.com/tchajed/coq-tactical

2018-10-25

开源项目/

7
https://github.com/Deepikakadela/Coq-with-OCaml-proof-assistant-

2017-04-12

开源项目/

0
https://github.com/cpitclaudel/company-coq

2015-02-15

开源项目/

297
https://github.com/hide-kawabata/traf

2018-04-22

开源项目/

13
https://github.com/scottviteri/ManipulateProofTrees

2019-06-17

开源项目/

1
https://github.com/ml4tp/tcoq

2018-05-31

开源项目/

8
https://github.com/mark-koch/firstorder-proof-mode

2020-11-12

开源项目/

1
https://github.com/Negabinary/Math-Playground

2020-07-28

开源项目/

1
https://github.com/shisharka/interactive_deduction

2017-09-18

开源项目/

0
https://github.com/necrosovereign/CalculiTester

2018-06-06

开源项目/

0