IPOSE遇见更好的你！

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
https://github.com/rubenseyer/pistophylax

2020-09-15

开源项目/

0
https://github.com/qdeduction/qbar

2020-09-20

开源项目/

0
https://github.com/dominique-unruh/qrhl-tool

2017-07-12

开源项目/

8
https://github.com/JetBrains/Arend

2015-02-16

开源项目/

536
https://github.com/Roldak/IPW

2017-04-24

开源项目/

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

2017-11-19

开源项目/

0
https://github.com/surajx/proof-assistant

2016-05-07

开源项目/

8
https://github.com/ltics/tppa

2016-08-18

开源项目/

1
https://github.com/adamdejl/pithosnd

2019-07-05

开源项目/

0
https://github.com/peterbb/hol

2017-02-07

开源项目/

0
https://github.com/joshuazeltser/logicAssistant

2017-01-03

开源项目/

1
https://github.com/TOTBWF/muprl

2018-03-08

开源项目/

15
https://github.com/timjb/set-theory-prover

2017-10-21

开源项目/

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

2018-12-16

开源项目/

2
https://github.com/AD1024/dtlc

2020-06-14

开源项目/

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

2017-07-23

开源项目/

0
https://github.com/henriqueinonhe/logos-proof-assistant

2020-08-06

开源项目/

1