Skip to content

Conversation

@fblanqui
Copy link
Member

@fblanqui fblanqui commented Jan 31, 2025

  • FOL: add builtins for quantifier notations
  • List: remove warnings
  • Nat: remove non-linear rule $x - $x ↪ _0

@fblanqui fblanqui merged commit bd9470e into Deducteam:master Jan 31, 2025
1 check passed
@fblanqui fblanqui deleted the details branch January 31, 2025 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant