IPOSE遇见更好的你！

代码空间

https://github.com/abella-prover/abella

2009-12-25

开源项目/

66
https://github.com/Julian/tree-sitter-lean

2021-02-28

开源项目/

8
https://github.com/kurpicz/pwm

2017-02-13

开源项目/

13
https://github.com/gabrielpallotta/sparsematrix

2018-10-01

开源项目/

0
https://github.com/JelteMX/mendix-dynamic-table

2020-01-20

开源项目/

0
https://github.com/billtrn/dsplot

2021-08-07

开源项目/

4
https://github.com/EducationShinyAppTeam/Bayes_Theorem

2019-01-08

开源项目/

0
https://github.com/emilyxxie/matrix_vision
Matrix Cam：在Matrix中看到自己！

2018-04-11

开源项目/ visio

240
https://github.com/ioannis-papikas/crt-cpp

2017-08-07

开源项目/

0
https://github.com/KlausC/GeneralizedCRT.jl

2021-02-25

开源项目/

0
https://github.com/leanprover/lean
精益定理证明
programming-language dependent-types theorem-proving verification type-theory lean

2013-07-17

开源项目/ 精益

1124
https://github.com/Theorem/oncilla

2019-04-15

开源项目/

17
https://github.com/noamsauerutley/string-permutations

2020-02-07

开源项目/

16
https://github.com/johnlarkin1/three-square-problem

2016-11-24

开源项目/

0
https://github.com/verimath/ftc

2017-03-29

开源项目/

1
https://github.com/parismollo/BAT

2019-11-30

开源项目/

0
https://github.com/asyncfinkd/pythagoras-theorem

2021-04-19

开源项目/

11
https://github.com/benoitrazet/s-variations

2018-03-06

开源项目/

0
https://github.com/cheran-senthil/MultivariableCRT

2018-07-21

开源项目/

1
https://github.com/blackspotbear/koku-rnd

2016-11-04

开源项目/

1