Dependencies for copilot-theorem-3.2
Libraries
copilot-theorem
- ansi-terminal (>=0.8 && <0.10)
- base (>=4.9 && <5)
- bimap (>=0.3 && <0.4)
- containers (>=0.4 && <0.7)
- copilot-core (>=3.2 && <3.3)
- data-default (>=0.7 && <0.8)
- directory (>=1.3 && <1.4)
- mtl (>=2.0 && <2.3)
- parsec (>=2.0 && <3.2)
- pretty (>=1.0 && <1.2)
- process (>=1.6 && <1.7)
- random (>=1.1 && <1.2)
- transformers (>=0.5 && <0.6)
- xml (>=1.3 && <1.4)