Milestones
Open
11
Closed
3
All
14
Due soon
Better printing of errors found during proof checking
Edward Sabinus / Bewerter Struktureller Induktion
Closed
1/1 complete
100%
Make assessment of direct proofs more fair - assessment formula
Edward Sabinus / Bewerter Struktureller Induktion
Closed
1/1 complete
100%
Function Trees
Edward Sabinus / Bewerter Struktureller Induktion
Closed
2/2 complete
100%