LegaleseSoftware is
eating law
L4 is a domain-specific programming language for law. We treat legal rules and contracts as executable specifications.
What is L4?
L4 is our domain-specific programming language for law. It treats legal rules and contracts as executable specifications, allowing you to:
Formalize rules with precision
Express legal logic with mathematical precision, enabling automated analysis and eliminating ambiguity and contradictions.
Test contracts against scenarios
Run your contracts through test cases to verify behavior before deployment, just like software testing.
Run compliance tools for humans & AI
Deploy your rules to Legalese Cloud as MCP tools for AI agents, as WebMCP embedded in your website or as REST API's.
Generate applications
Compile L4 specifications into user-facing applications, decision services, and natural language explanations.
About Legalese
Marc Andreessen said, "software is eating the world"; at Legalese, we say software is eating law. Our solution to the broken-law problem is to resolve it at a fundamental level, using math, computer science, and logic.
At the core, we are an open-source computational law project working on the drafting of legal documents the way programmers develop software.
Learn more about us →Why can't legal contracts be as clear as code?
In the News
Latest from the Blog
From Vibes to Verification: Why the Age of AI Needs Rules You Can Run
AI got good at coding because compilers don't lie. It can get just as good at law — if we give it a compiler for rules. That's what we're building.
Legalese acquires Monad Solutions
Monad Solutions (EMEA and APAC) was acquired by Legalese.com, a Singapore-based LegalTech company. As part of this change, Michael Fairweather has joined Legalese as Chief Operating Officer, with responsibility for Sales and Delivery.
Homegrown startup, Legalese, partners with Singapore Management University to make computational law a reality
Legalese is collaborating with SMU in the University's Research Programme in Computational Law, supported by a major S$15M grant from the National Research Foundation Singapore.
Why Computational Law, Part III: Computational Law Has Joined the Chat
Moving from syntax to semantics to pragmatics—how a domain-specific language for law will transform contracts from legalese to provably correct, multi-lingual, self-executing code.
Ready to explore computational law?
Join our community, try L4, or get in touch to learn how we're building the future of legal technology.