Back to milestones

Kolloquium Validierungsphase

Open

Overdue by 14 year(s)

•

Due by March 5, 2012

•Last updated Mar 5, 2012

80% complete

Select all issues: List view

Interpreter throws ugly error message when prover is missing

#58

· leonhandreke opened

on Feb 17, 2012

Improve `missing EOF at '_ensures'' syntax error

parser / validator / typesystem

#36

· bafain opened

on Feb 14, 2012