Lean Forward

Lobsters·11 points·praalhans·almost 8 years ago·lean-forward.github.io

Read the full article at lean-forward.github.io →

#forward #lean #lean forward #math #formalmethods

Related stories

Show HN: Mathy – Build Math Automaticitymathy.game
Hacker News · 1 points · 10 days ago
Lean Golf – Code golf but you're proving theorems in Leanlean.golf
Hacker News · 1 points · 6 days ago
Beautiful website generator aimed at math-heavy sitesgithub.com
Lobsters · 12 points · over 5 years ago
Show HN: Make math automatic with Mathygmays.com
Hacker News · 101 points · 10 days ago
Complete Production Webapp in Leangithub.com
Hacker News · 1 points · 10 days ago
Reflections on 1,000 Days of Mathgmays.com
Hacker News · 78 points · 8 days ago

Related topics

deployed12 forward deployed4 hiring44 source265 git68 engineer45 code372 management36 engineers40 system180 ai2045