adam-mcdaniel / reckon

A reasonable theorem prover for your reasoning tasks!
26Updated 2 months ago

Alternatives and similar repositories for reckon:

Users that are interested in reckon are comparing it to the libraries listed below