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.

语言：Haskell · GitHub 星标：2 · Fork：1

话题：formal-methods · formal-methods-tag · liquid-haskell · refinement-types

在 GitHub 上查看原仓库