Supporting Materials for CADE-25 Submission
Results
The results from our experiments may be found here
Initial experiments to ascertain useful MINT parameters are here
Software
The MINT development can be found here
The SEPIA development is here
Examples From Paper
The file containing the conjecture we try to prove is here
The files containing the existing proofs are Lt.v and Le.v
A clearer version of the inferred model is here
Back to Homepage