Ankündigung. Ein einführendes Tutorial zum Thema Natürliches Schließen in Coq habe ich auf meiner Webseite veröffentlicht . Das Tutorial führt in das natürliche Schließen nach Gerhard Gentzen ein und zeigt dann, wie man dieses Logikkalkül in Coq verwenden kann. Es ist gedacht als eine erste, einfache Einführung in das natürliche Schließen und eignet sich als für ein erstes Kennenlernen von Coq…
Kommentare erwünscht.
Burt.