Skip to content

Fixed issues in the definitions in the realPolyScript file and proved...

Mohit Tekriwalrequested to merge
fix_cheats into master

Fixed issues in the definitions in the realPolyScript file and proved cheated lemmas in the sturmComputeScript

Merge request reports