FR-vdash-bot

Competitive programmer. Graduate. Want to study math and TCS.

BICMR 北京国际数学研究中心Haidian, Beijing 北京海淀

Pinned Repositories

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

FR-vdash-bot's Repositories

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