leansite - Made using the best language ever

index : leansite

Made using the best language ever

Anthony Wang

about summary refs log tree commit diff

path: root/README.md

Age	Commit message (Expand)	Author
2025-05-06	Rewrite it in Lean	Anthony Wang

generated by cgit v1.2.3 (git 2.50.0) at 2025-06-29 21:47:53 +0000