Supporting Materials for CADE-25 Submission


The results from our experiments may be found here
Initial experiments to ascertain useful MINT parameters are here


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