Summary
- added Mathematica binding as external oracle
The file was added | thys/Polynomial_Factorization/Mathematica.hs |
The file was modified | thys/Polynomial_Factorization/External_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Factorization_Oracle.thy (diff) |