Lema
lema-lang.dev
Discovered 35m ago
SaaSUnited KingdomWarm lead
- Active, real site
- No contact found yet
- Built with a modern stack
Summary
Lema is an experimental language for software that comes with proofs. The Lean kernel checks every proof before Lema stores it.
Technology stack
Tailwind CSSVercelHosting: Vercel