Dependencies for copilot-theorem-3.20
There is a total of 19 dependencies in nightly-2024-09-08
- base-4.19.1.0
- bimap-0.5.0
- bv-sized-1.0.5@rev:1
- containers-0.6.8
- copilot-core-3.20
- copilot-prettyprinter-3.20
- data-default-0.7.1.1
- directory-1.3.8.1
- libBF-0.6.8
- mtl-2.3.1
- panic-0.4.0.1
- parameterized-utils-2.1.8.0@rev:2
- parsec-3.1.17.0
- pretty-1.1.3.6
- process-1.6.18.0
- random-1.2.1.2
- transformers-0.6.1.0
- what4-1.6.1
- xml-1.3.14@rev:2