倉庫議題

joelburget/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

在 GitHub 查看
星標
 (0 顆星)
分叉
 (0 個分叉)
已索引議題
 (0 個已索引議題)
個開放新手議題
 (0 個開放的新手議題)
最近索引
2026年8月17日
最近 GitHub push
2018年11月15日
授權條款
Other
貢獻指南
沒有貢獻指南
行為準則
沒有行為準則
主要語言
Haskell
PR 合併指標
 (30 天內沒有已合併 PR)
新手標籤
沒有已索引的新手標籤

議題

0 個開放索引議題

此倉庫沒有開放的已索引議題。