leanTAP
leanTAP copied to clipboard
Published
20 hours ago •
namin
namin
A Declarative Theorem Prover for First-Order Classical Logic
Results
0
leanTAP issues
Sort by
recently updated
recently updated
newest added