1 search result for "author:"Martin Moehrmann""

Showing 1 - 1
  1. eprover

    No documentation

    E Theorem Prover
    Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann
    3.1
    LGPL-2.1-or-later OR GPL-2.0-or-later
    Used by 0 other packages
    13 May 2024