Software

• Geo Prover - a small package for mechanized (plane) geometry manipulations with non degeneracy tracing, available for different CAS platforms.
• The SDEval Framework - a python framework to set up, run, monitor and evaluate dedicated computation tasks on given data.
  • See the SDEval quick manual for more information.