chenzhawyang

la vérité rend libre

Changzhou, China

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.4k 65 5.4k339
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
hispania
Semi-Automated Language Changes from Latin to Spanish
Language:TeX0 1 00
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML00
metaphono
Language:Standard ML0 1 00
metaphono-korean
Language:Common Lisp0 1 00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0 00
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML607 49 635132

chenzhawyang/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
chenzhawyang/hispania
Semi-Automated Language Changes from Latin to Spanish
Language:TeX0 1 00
chenzhawyang/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML00
chenzhawyang/metaphono
Language:Standard ML0 1 00
chenzhawyang/metaphono-korean
Language:Common Lisp0 1 00
chenzhawyang/rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0 00