formal-methods-tag

Here is 1 public repository matching this topic...

SNAPKITTYWEST / liquidlean

LiquidLean — A refinement-type research framework combining m4 generation, Higher-Order Constraints (HOC), Liquid Haskell, and Haskell to explore formally verified constraint systems and polynomial algebra.

formal-methods refinement-types liquid-haskell formal-methods-tag

Updated Aug 19, 2026
Haskell

Add this topic to your repo

To associate your repository with the formal-methods-tag topic, visit your repo's landing page and select "manage topics."

Learn more