Skip to content

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

Mohit Tekriwal requested 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