Sebastian Reichelt

icon indicating an email [email protected]

icon location Karlsruhe, Germany

Results 1 repositories owned by Sebastian Reichelt

slate

23
Stars
1
Forks
Watchers

The Slate Interactive Theorem Prover

verified publisher icon SReichelt