Meeting 20.3.14

Jump to bottom Edit New page

lex-lex edited this page Mar 20, 2014 · 6 revisions

Aufgaben LEO-III

Notes / Protokolle
Parser (FOL, HOL, TFF, CNF, TFA)
Scala-Maintenance / GitHub
Beweistechniken
Anschluss weiterer Beweiser (Isabelle)
User-Interaktion / Shell
Dokumentation / Policy (Coding-Style)
Klauselnormalisierung
Relevanzfilter
Leo-III Website/Projektgedöns

Aufgaben LEO-II

Analyse für CASC 2014

Allgemeines

Geoff 5. - 11. Juli vor Ort
Kaffeemaschine aufgesetzt

Home | Guidelines | Protocols of earlier meetings | Upcoming Meeting