An experimental support system for formal mathematical reasoning.

Matthias Anlauff, Stefan Jhnichen, Martin Simons

Browse the full FM paper archive.