Merge pull request #28 from leanprover-community/dev

Dev
leanprover-community · Oct 13, 2024 · 7e3aa0a · 7e3aa0a
2 parents ad292bd + 87d7f13
commit 7e3aa0a
Show file tree

Hide file tree

Showing 7 changed files with 740 additions and 99 deletions.
diff --git a/Duper/Interface.lean b/Duper/Interface.lean