- 01 Aug, 2022 1 commit
-
-
David Föger authored
final cleanup: 1) pattern matching on lhs; 2) replace weird 'induction' proofs by proof(cases); 3) remove some unnecessary things and update document
-
- 26 Jul, 2022 2 commits
-
-
David Föger authored
-
David Föger authored
-
- 10 Jul, 2022 3 commits
-
-
David Föger authored
-
David Föger authored
-
David Föger authored
-
- 01 Jul, 2022 2 commits
-
-
David Föger authored
-
David Föger authored
-
- 30 Jun, 2022 2 commits
-
-
David Föger authored
-
David Föger authored
-
- 23 Jun, 2022 2 commits
-
-
David Föger authored
-
Fabian Schaub authored
-
- 13 Jun, 2022 3 commits
-
-
Fabian Schaub authored
-
Fabian Schaub authored
-
Fabian Schaub authored
-
- 10 Jun, 2022 1 commit
-
-
Fabian Schaub authored
-
- 09 Jun, 2022 1 commit
-
-
Fabian Schaub authored
-