Dependencies for copilot-theorem-4.7

There is a total of 18 dependencies in nightly-2026-03-09

<< Return to package page

• base-4.21.1.0
• bimap-0.5.0
• bv-sized-1.0.7
• containers-0.7
• copilot-core-4.7
• copilot-prettyprinter-4.7
• data-default-0.8.0.2
• directory-1.3.9.0
• libBF-0.6.8
• mtl-2.3.1
• panic-0.4.0.1
• parameterized-utils-2.1.11.0
• pretty-1.1.3.6
• process-1.6.26.0
• random-1.3.1
• transformers-0.6.1.2
• what4-1.7.3
• xml-1.3.14@rev:2