Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Lithe – A Web Framework for Lean4
(opens in new tab)
(github.com)
4 points
JoshPurtell
1mo ago
1 comments
Share
Lithe – A Web Framework for Lean4 | Better HN
1 comments
default
newest
oldest
JoshPurtell
OP
1mo ago
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
j
/
k
navigate · click thread line to collapse
