feat(Logics/Propositional): further API for manipulating theories in natural deduction#542
Open
thomaskwaring wants to merge 12 commits intoleanprover:mainfrom
Open
feat(Logics/Propositional): further API for manipulating theories in natural deduction#542thomaskwaring wants to merge 12 commits intoleanprover:mainfrom
thomaskwaring wants to merge 12 commits intoleanprover:mainfrom
Commits
Commits on May 1, 2026
- committed
twwar - committedtwwar
- committedtwwar
Commits on May 4, 2026
- committedtwwar
- committedtwwar
- committedtwwar
- authored andcommitted
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
![mathlib-nightly-testing[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
