FR-vdash-bot

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

Pinned Repositories

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

FR-vdash-bot's Repositories

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