Lithe – A Web Framework for Lean4

1 comments

• JoshPurtell 1 hour 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