Burkhardt Renz

Natürliches Schließen in Coq

Burkhardt Renz: Natürliches Schließen in Coq: Ein einführendes Tutorial. THM, Januar 2019
Portable Document Format, 423 KB, Stand 22.01.2019
Burkhardt Renz: Quelle zu Natürliches Schließen in Coq. Version 2.0, Januar 2019
Coq Source, 9 KB, Stand 21.01.2019