Skip to content

Top Best Ask Show New Jobs

Lithe – A Web Framework for Lean4 (opens in new tab)

(github.com)

4 pointsJoshPurtell4mo ago1 comments

1 comments

1 comments · 1 top-level

JoshPurtellOP4mo 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

j / k navigate · click thread line to collapse