TOTBWF/refinery

⛏️ A refinement proof framework for haskell

语言：Haskell · GitHub 星标：73 · Fork：3

话题：metaprogramming · proof-automation · proof-refinement

在 GitHub 上查看原仓库