Skip to content

Top New Best Ask Show Jobs

Lithe – A Web Framework for Lean4 | Better HN

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

(github.com)

4 pointsJoshPurtell1mo ago1 comments

1 comments

JoshPurtellOP1mo 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