- Nov 29, 2024
-
-
Lachnitt authored
-
- Oct 22, 2024
-
-
Haniel Barbosa authored
-
- Sep 03, 2024
-
-
Hans-Jörg authored
-
Co-authored-by:
Haniel Barbosa <hanielbbarbosa@gmail.com>
-
Hans-Jörg authored
This rule is used by Carcara's elaborator when eliminating the implicit use of symmetry of equality.
-
- Aug 15, 2024
-
- Aug 12, 2024
-
-
Hans-Jörg authored
By changing the variable names we clarify that those are rules that can match. Furthermore, we also change all occurrences of the very awkward "as long as possible" to "until a fixed point is reached".
-
- Aug 08, 2024
-
-
Hans-Jörg authored
-
- Aug 07, 2024
- Jul 17, 2024
-
-
Hans-Jörg authored
-
- Jul 15, 2024
-
-
Hans-Jörg authored
-
- Jun 11, 2024
-
-
Haniel Barbosa authored
-
- Jun 03, 2024
- May 28, 2024
-
-
Co-authored-by:
Haniel Barbosa <hanielbbarbosa@gmail.com>
-
Lachnitt authored
-
Co-authored-by:
Hans-Jörg <commits@schurr.at>
-
- May 24, 2024
-
-
Lachnitt authored
-
- May 08, 2024
-
- May 06, 2024
-
-
Hans-Jörg authored
This follows the advice given here: https://latex.org/forum/viewtopic.php?t=32205 The option changes how destination names are defined. Also fixes two other small typos related to references. Should address: #39
-
- Mar 19, 2024
- Jan 05, 2024
-
-
Hans-Jörg authored
-
- Jul 20, 2023
-
-
Haniel Barbosa authored
-
- Feb 10, 2023
-
-
Hans-Jörg Schurr authored
- adress normalizing of terms with context push (and other typos) - Remark on missing Gamma
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
- replace semantic by semantics - apply some review suggestions
-