Dependencies for copilot-theorem-4.1
Libraries
copilot-theorem
- base (>=4.9 && <5)
- bimap (>=0.3 && <0.4 || >=0.5 && <0.6)
- bv-sized (>=1.0.2 && <1.1)
- containers (>=0.4 && <0.7)
- copilot-core (>=4.1 && <4.2)
- copilot-prettyprinter (>=4.1 && <4.2)
- data-default (>=0.7 && <0.8)
- directory (>=1.3 && <1.4)
- libBF (>=0.6.2 && <0.7)
- mtl (>=2.0 && <2.4)
- panic (>=0.4.0 && <0.5)
- parameterized-utils (>=2.1.1 && <2.2)
- parsec (>=2.0 && <3.2)
- pretty (>=1.0 && <1.2)
- process (>=1.6 && <1.7)
- random (>=1.1 && <1.3)
- transformers (>=0.5 && <0.7)
- what4 (>=1.3 && <1.7)
- xml (>=1.3 && <1.4)