Monadoc
Search
Home
stp
0.1.0.1-0
lib:stp
lib:stp
Modules
SimpleTheoremProver
Dependencies
base
lib:base >=4 && <5
containers
lib:containers ==0.5.11.0
Reverse dependencies
Direct only. Not exhaustive.
stp
exe:mu-test