8 Commits

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