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, eliminating ambiguity and enabling automated analysis.
Test contracts against scenarios
Run your contracts through test cases to verify behavior before deployment, just like software testing.
Find contradictions automatically
Static analysis can prove that a contract is internally consistent, free of contradiction, and complete.
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
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.
Why Computational Law, Part II: 70 Years of Legal Informatics
An incomplete history of formalising contracts, regulations, and the rich tradition of computational approaches to law—from Leibniz to smart contracts.
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.