AHMADALIPARR/bifurcation-invariant

The protein folding bifurcation invariant — proved in Lean, checked in Alloy, drawn in Agda, refined in Liquid Haskell, purified in Curry-Howard.

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

话题：agda · alloy · bifurcation · curry-howard · dependent-types · drug-discovery · formal-verification · invariant

在 GitHub 上查看原仓库