mps-coderules/samples
Fedor Isakov 37b6afa642 Enable back working tests in lambdacalc 2019-01-26 14:15:30 +01:00
..
fitch Apply automatic migrations to FitchProof subproject 2019-01-13 14:27:32 +01:00
lambdacalc Enable back working tests in lambdacalc 2019-01-26 14:15:30 +01:00
mpscore Cleanup a test: better layout of nested lists. 2019-01-21 11:20:30 +01:00