aboutsummaryrefslogtreecommitdiff
path: root/misc/otter
Commit message (Expand)AuthorAgeFilesLines
* Otter is an automated deduction system (theorem prover) forRenato Botelho2006-02-064-0/+385