The latest version of copilot-theorem is 4.1-0.
lib:copilot-theorem
Modules
- Copilot.Theorem
- Copilot.Theorem.Kind2
- Copilot.Theorem.Kind2.Prover
- Copilot.Theorem.Prove
- Copilot.Theorem.Prover.SMT
- Copilot.Theorem.What4
Dependencies
- ansi-terminal lib:ansi-terminal >=0.8 && <0.10
- base lib:base >=4.9 && <5
- bimap lib:bimap >=0.3 && <0.4
- bv-sized lib:bv-sized >=1.0.2 && <1.1
- containers lib:containers >=0.4 && <0.7
- copilot-core lib:copilot-core >=3.8 && <3.9
- data-default lib:data-default >=0.7 && <0.8
- directory lib:directory >=1.3 && <1.4
- filepath lib:filepath >=1.4.2 && <1.5
- libBF lib:libBF >=0.6.2 && <0.7
- mtl lib:mtl >=2.0 && <2.3
- panic lib:panic >=0.4.0 && <0.5
- parameterized-utils lib:parameterized-utils >=2.1.1 && <2.2
- parsec lib:parsec >=2.0 && <3.2
- pretty lib:pretty >=1.0 && <1.2
- process lib:process >=1.6 && <1.7
- random lib:random >=1.1 && <1.2
- transformers lib:transformers >=0.5 && <0.6
- what4 lib:what4 >=1.1 && <1.3
- xml lib:xml >=1.3 && <1.4
Reverse dependencies
Direct only. Not exhaustive.