add evaluation for debruijn terms

2024-09-21 00:36:50 +02:00 · 2024-09-21 00:36:50 +02:00 · f8effc45ad
commit f8effc45ad
parent 8b19caa9f2
2 changed files with 79 additions and 0 deletions
--- a/coq/_CoqProject
+++ b/coq/_CoqProject
@ -12,8 +12,10 @@ subtype_debruijn.v
 context_debruijn.v
 morph_debruijn.v
 typing_debruijn.v
+eval_debruijn.v
 subst_lemmas_debruijn.v

+
 terms.v
 equiv.v
 subst.v