cleanup; bump versions

kim-em · Oct 10, 2023 · 91963d6 · 91963d6
1 parent a5a9089
commit 91963d6
Show file tree

Hide file tree

Showing 11 changed files with 1,013 additions and 21 deletions.
diff --git a/Examples.lean b/Examples.lean
@@ -0,0 +1 @@
+import Examples.calc