Hier sind die Qedeq-Syntaxbeschreibungen für den Prototypen, die nicht den vollen Sprachumfang des Hauptprojekts beinhalten. Im Prototypen kommt ein proprietäres Format zum Einsatz.

Modul	Definition eines Qedeq-Modules
Formel	Definition einer Qedeq-Formel
Beispiel 1	Qedeq-Modul mit den Axiomen der Aussagenlogik, dies ist ein Beispiel für ein Qedeq-Modul
Beispiel 2	Qedeq-Modul mit Beweisen, ein weiteres Beispiel
Text	Definition eines textförmigen Qedeq-Moduls in BNF-Notation

update 2014-01-20 09:20:48+0100