Lithe – A Web Framework for Lean4(github.com)4 ポイント·投稿者 JoshPurtell·5 か月前·1 コメントgithub.comLithe – A Web Framework for Lean4https://github.com/JoshuaPurtell/lithe1 コメントコメントを投稿[–]JoshPurtell·5 か月前返信As 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