Skip to content

Added Induction.v

Max Ole Elliger requested to merge add-induction into master

Der Versuch, Induktion anschaulich in Coq zu machen, aktuell an natürlichen Zahlen (mit offenen Aufgaben) und Aussagenlogik (ohne offene Aufgaben).

Merge request reports