12 search results for "tag:"theorem prover""

archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
dolmen_loop
A tool library for automated deduction tools
0.8
BSD-2-Clause
Used by 3 other packages