Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added Mathematica binding as external oracle
Changeset 6273:e7a4a40c5204 by rene thiemann _rene.thiemann@uibk.ac.at_:
added Mathematica binding as external oracle
The file was addedthys/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)