Dependencies for copilot-theorem-4.7.1
There is a total of 19 dependencies in nightly-2026-05-10
- base-4.21.2.0
- bimap-0.5.0
- bv-sized-1.0.7@rev:1
- containers-0.7
- copilot-core-4.7.1
- copilot-prettyprinter-4.7.1
- data-default-0.8.0.2
- directory-1.3.10.1
- fp-ieee-0.1.0.6
- libBF-0.6.8
- mtl-2.3.2
- panic-0.4.0.1
- parameterized-utils-2.1.11.0
- pretty-1.1.3.6
- process-1.6.26.1
- random-1.3.1
- transformers-0.6.3.0
- what4-1.7.3
- xml-1.3.14@rev:2