Description
Provides a toolkit for building proof automation systems in Haskell. Proof automation helps software assist with formal reasoning, theorem proving, or verification tasks.
It is useful for research tools, formal methods, type-system experiments, and verification-oriented libraries. It is an advanced developer library and not a finished theorem prover interface.