Lithe – A Web Framework for Lean4 | HN Mirror

Y	Hacker News new \| ask \| show \| jobs

	Lithe – A Web Framework for Lean4 (github.com)
	4 points by JoshPurtell 132 days ago

1 comments

JoshPurtell 132 days 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