I built the RealWorld app in Lean 4(leangineer.com)
84 points by saviorand | 12 comments
A blog post describing an implementation of the RealWorld demo application (a Medium-like reference app) written in the Lean 4 programming language.
#theorem-provers on Hacker News
1 story tagged theorem-provers, newest first.