Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Lithe – A Web Framework for Lean4 (github.com/joshuapurtell)
4 points by JoshPurtell 22 days ago | hide | past | favorite | 1 comment


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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: