You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Star1 (1)You must be signed in to star a repository
About
Levee autoformalizes your rulebook (business logic, domain constraints, policy docs) into Lean 4 specs, then enforces them against AI agents at runtime. Formal verification for agentic AI: rules an LLM agent can’t talk its way around.
Levee autoformalizes your rulebook (business logic, domain constraints, policy docs) into Lean 4 specs, then enforces them against AI agents at runtime. Formal verification for agentic AI: rules an LLM agent can’t talk its way around.
