Dependencies for copilot-theorem-4.6.1

There is a total of 11 dependencies in nightly-2026-01-18

<< Return to package page

• bimap-0.5.0
• bv-sized-1.0.6
• copilot-core-4.6.1
• copilot-prettyprinter-4.6.1
• data-default-0.8.0.2
• libBF-0.6.8
• panic-0.4.0.1
• parameterized-utils-2.1.11.0
• random-1.3.1
• what4-1.7.2
• xml-1.3.14@rev:2