Lithe – A Web Framework for Lean4github.com/JoshuaPurtell 4 pointsJoshPurtell7 months ago1 commentSaveHideCopy link On HNComments−JoshPurtellOP7moAs 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
Comments
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