Open Source Prover in the Attic

Zoltán Kovács, Alexander Vujic

The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we…