Monadoc
Search
Home
copilot
3.6-0
exe:wcv
The latest version of copilot is
4.1-0
.
exe:wcv
Dependencies
base
lib:base >=4.9 && <5
copilot
lib:copilot >=0
copilot-core
lib:copilot-core >=0
copilot-theorem
lib:copilot-theorem >=0
Reverse dependencies
None.