Theorema


  • This repository serves for the development of the Theorema system, see also http://www.risc.jku.at/research/theorema/software/.