LiquidLean

Problem

Explore constraint systems and polynomial algebra with explicit proof obligations.

Approach

m4 templates, Higher-Order Constraints, Liquid Haskell, and Haskell implementation work.

Verification and limits

Research status is determined by the current obligations and audits. No general resolution of an open conjecture is claimed by this website.

This project summary reviews public documentation. It does not substitute for the project's build, tests, proof audit, or independent evaluation.

License

BSL / AGPL / MPL — see terms. The actual project terms govern use.