@hackage / tableaux

An interactive theorem prover based on semantic tableaux

Latest0.3

Changelog

This release does not have a Changelog