- Oct 11, 2023
-
-
- Oct 06, 2023
-
-
-
Max Ole Elliger authored
splitted PCF to: Types, Contexts, Formulas, Terms improved headlines
-
Max Ole Elliger authored
-
-
- Sep 20, 2023
-
-
- Sep 15, 2023
-
-
Max Ole Elliger authored
Reorder formulas See merge request !7
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
Include/comoproj v1.2.0 See merge request !5
-
Max Ole Elliger authored
added description, how you can compile your project in multiple versions. added latest as additional default version
-
Max Ole Elliger authored
Resolve "Remove f_ite and so on" Closes #11 See merge request !3
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
Implemented subst_f_ite, f_deriv_ite, ... Missing: Proof of evaluation strategies CBV and CBN for the new definitions
-
Max Ole Elliger authored
-
- Sep 14, 2023
-
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
- Sep 13, 2023
-
-
-
Max Ole Elliger authored
-
- Sep 12, 2023
-
-
Max Ole Elliger authored
Docs/headlines See merge request !4
-
Max Ole Elliger authored
-
- Sep 09, 2023
-
-
Max Ole Elliger authored
-
- Aug 16, 2023
-
-
-
Max Ole Elliger authored
-
- Aug 15, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
- Aug 10, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
-
- Jul 30, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-