submodules

meta-introspector · Jan 30, 2024 · 3133d22 · 3133d22
1 parent 494813a
commit 3133d22
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git a/2024/01/30/Coda b/2024/01/30/Coda
diff --git a/2024/01/30/PolTac b/2024/01/30/PolTac
diff --git a/2024/01/30/VplTactic b/2024/01/30/VplTactic
diff --git a/2024/01/30/coq-ltac-iter b/2024/01/30/coq-ltac-iter
diff --git a/2024/01/30/coq-ltac2-experiments b/2024/01/30/coq-ltac2-experiments
diff --git a/2024/01/30/ltac2-tutorial b/2024/01/30/ltac2-tutorial
diff --git a/2024/01/30/theory-pl-refinement-coq b/2024/01/30/theory-pl-refinement-coq