Lithe – A Web Framework for Lean4(github.com)4 points·by JoshPurtell·5 maanden geleden·1 commentsgithub.comLithe – A Web Framework for Lean4https://github.com/JoshuaPurtell/lithe1 commentsPost comment[–]JoshPurtell·5 maanden geledenreplyAs a demonstration, I've built Crafter in lean - and have hosted it on the web using Lithehttps://lean-crafter-production.up.railway.app/ https://github.com/JoshuaPurtell/lean-crafter
https://lean-crafter-production.up.railway.app/ https://github.com/JoshuaPurtell/lean-crafter