|
|
97a87a1679
|
Close #17, add tools
|
2025-08-21 16:14:46 -06:00 |
|
|
|
f1f2354db2
|
Add Why3, close #16
|
2025-08-21 15:49:03 -06:00 |
|
|
|
54c1b82f8e
|
Fix #8
|
2025-06-23 14:01:37 -06:00 |
|
|
|
2545c47377
|
Resolve #27
|
2025-06-23 12:49:01 -06:00 |
|
|
|
d29e2086dd
|
Add More Tools
|
2025-06-13 15:05:11 -06:00 |
|
|
|
cee940b083
|
Add E Theorem Prover for #1
|
2025-06-13 14:50:27 -06:00 |
|
|
|
6af9acff12
|
add alt-ergo. Closes #1
|
2025-06-13 14:28:33 -06:00 |
|
|
|
224a339a38
|
Add some tools and categories
|
2025-06-13 13:09:14 -06:00 |
|
|
|
589a55d8cd
|
Wrap up SAT/SMT
|
2025-06-12 15:13:07 -06:00 |
|
