Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Lithe – A Web Framework for Lean4
(github.com)
4 points
by
JoshPurtell
107 days ago
| 1 comment
Lithe – A Web Framework for Lean4 | Dark Hacker News
JoshPurtell
107 days ago
|
next
[−]
As a demonstration, I've built Crafter in lean - and have hosted it on the web using Lithe
https://lean-crafter-production.up.railway.app/
https://github.com/JoshuaPurtell/lean-crafter