8 ms·

Lithe – A Web Framework for Lean4

• JoshPurtell 8mo 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://lean-crafter-production.up.railway.app/ https://github.com/JoshuaPurtell/lean-crafter https://github.com/JoshuaPurtell/lean-crafter