negiizhao

Competitive programmer. Fourth year student. Want to study math and TCS.

Pinned Repositories

lean4
Lean 4 programming language and theorem prover
Language:Lean4.9k 66 2k437
Algorithm
Verified efficient algorithms in Lean4.
Language:Lean12 1 60
EG
Formalizing Euclidean Geometry in Lean
Language:Lean0 0 00
glean
Language:Shell0 0 00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
negiizhao
2 1 00
resultant
Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.
Language:Lean1 1 00
some-theory-on-words
Language:Lean2 1 00
std4
Standard Library for Lean 4
Language:Lean00
transcendental
Lindemann–Weierstrass Theorem
Language:Lean10 1 00

negiizhao's Repositories

negiizhao/Algorithm
Verified efficient algorithms in Lean4.
Language:Lean12 1 60
negiizhao/transcendental
Lindemann–Weierstrass Theorem
Language:Lean10 1 00
negiizhao/negiizhao
2 1 00
negiizhao/some-theory-on-words
Language:Lean2 1 00
negiizhao/resultant
Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.
Language:Lean1 1 00
negiizhao/EG
Formalizing Euclidean Geometry in Lean
Language:Lean0 0 00
negiizhao/glean
Language:Shell0 0 00
negiizhao/lean4
Lean 4 programming language and theorem prover
Language:Lean00
negiizhao/std4
Standard Library for Lean 4
Language:Lean00