NUS Math Formalization

Singapore

Pinned Repositories

CalculusSkeleton
Language:Lean43
coxeter
Language:Lean12 6 215
coxeter_doc
00
CS1231Skeleton
Language:Lean10
lean4game
Server to host lean games for calculus
Language:TypeScript01
llmlean
LLMs + Lean for Lean Game
Language:Lean00
mathlib4
The math library of Lean 4, for exchange property
Language:Lean10
nus-math-formalization.github.io
00

NUS Math Formalization's Repositories

NUS-Math-Formalization/coxeter
Language:Lean12 6 215
NUS-Math-Formalization/CalculusSkeleton
Language:Lean43
NUS-Math-Formalization/CS1231Skeleton
Language:Lean10
NUS-Math-Formalization/mathlib4
The math library of Lean 4, for exchange property
Language:Lean10
NUS-Math-Formalization/coxeter_doc
00
NUS-Math-Formalization/lean4game
Server to host lean games for calculus
Language:TypeScript01
NUS-Math-Formalization/llmlean
LLMs + Lean for Lean Game
Language:Lean00
NUS-Math-Formalization/nus-math-formalization.github.io
00