SNAPKITTYWEST/c3-kernel

C³: Calculus of Constrained Constructions. Sovereign alternative to SMT/Haskell from first principles. Menhir · Rascal · Scala 3 · Dex · Aldor · MPL.

语言：Scala · GitHub 星标：2 · Fork：0

话题：algebraic-geometry · cad · constraint-solving · dependent-types · formal-verification · haskell · liquid-haskell · prolog

在 GitHub 上查看原仓库