lib:copilot-theorem

Modules

• Copilot.Theorem
• Copilot.Theorem.Kind2
• Copilot.Theorem.Kind2.Prover
• Copilot.Theorem.Prove
• Copilot.Theorem.Prover.SMT
• Copilot.Theorem.What4

Dependencies

• base lib:base >=4.9 && <5
• bimap lib:bimap >=0.3 && <0.4 || >=0.5 && <0.6
• bv-sized lib:bv-sized >=1.0.2 && <1.1
• containers lib:containers >=0.4 && <0.7
• copilot-core lib:copilot-core >=3.18.1 && <3.19
• copilot-prettyprinter lib:copilot-prettyprinter >=3.18.1 && <3.19
• data-default lib:data-default >=0.7 && <0.8
• directory lib:directory >=1.3 && <1.4
• libBF lib:libBF >=0.6.2 && <0.7
• mtl lib:mtl >=2.0 && <2.4
• panic lib:panic >=0.4.0 && <0.5
• parameterized-utils lib:parameterized-utils >=2.1.1 && <2.2
• parsec lib:parsec >=2.0 && <3.2
• pretty lib:pretty >=1.0 && <1.2
• process lib:process >=1.6 && <1.7
• random lib:random >=1.1 && <1.3
• transformers lib:transformers >=0.5 && <0.7
• what4 lib:what4 >=1.3 && <1.6
• xml lib:xml >=1.3 && <1.4

Reverse dependencies

Direct only. Not exhaustive.

• copilot exe:addmult
• copilot exe:clock
• copilot exe:copilot-regression
• copilot exe:wcv
• copilot exe:what4-arithmetic
• copilot exe:what4-propositional
• copilot exe:what4-structs
• copilot lib:copilot
• copilot-language lib:copilot-language