JoshuaPurtell/lithe
simple web service in lean4
4 best points · 1 comments · 1 Hacker News post · 21 GitHub stars · View on GitHub
Hacker News discussions
- Lithe – A Web Framework for Lean4 (4 points, 1 comments, by JoshPurtell, 2026-01-30)
simple web service in lean4
4 best points · 1 comments · 1 Hacker News post · 21 GitHub stars · View on GitHub