← Back to live feed1 story
A RealWorld full-stack application with official test suites was built entirely in Lean 4. The implementation is somewhat ready for production and can be made more robust than the average full-stack app, though it is only partly correct by construction.
Sign in to suggest
Key sources
- DISCUSSIONLolPythonlobste.rs