AlgebraicJulia / AlgebraicJulia/GATlab.jl
Use TypeCheck.jl to sort-check instances
未關閉
- 主要語言
- Julia
- 星號
- 43
- 分支
- 4
- PR 合併指標
- 30 天內沒有已合併 PR
描述
We could use https://github.com/astrieanna/TypeCheck.jl to get static guarantees that instances of theories were at least sort-correct. Could be pretty useful.
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。