DRAFT of simplify-implication RPC endpoint #239
Draft
geo2a wants to merge 28 commits intomainfrom georgy/simplify-implication
+5,501-304
Commits
Commits on Jun 19, 2023
Commits on Jun 26, 2023
Commits on Jun 27, 2023
Commits on Jun 28, 2023
Commits on Jul 4, 2023
Commits on Jul 24, 2023
Commits on Jul 25, 2023
Commits on Jul 28, 2023
Commits on Aug 3, 2023
Commits on Aug 8, 2023
Commits on Aug 9, 2023
- committed
- committed
- committed
- committed
- committed
- committed