adding hol formalism, made a note (in the README) that it was Arash's…

… work.
harp-lab · May 24, 2024 · 3359111 · 3359111
1 parent 062356d
commit 3359111
Show file tree

Hide file tree

Showing 4 changed files with 598 additions and 0 deletions.
diff --git a/hol-formalism/README.md b/hol-formalism/README.md
@@ -0,0 +1,7 @@
+# CoreSlog
+
+All the work in this directory done by Arash Sahebolamri.
+
+Hol formalization of core Slog
+
+Requires [Isabelle 2021](https://isabelle.in.tum.de/index.html)