Printing of terms with factored dependencies#92
Open
thibautbenjamin wants to merge 12 commits intomasterfrom
Open
Printing of terms with factored dependencies#92thibautbenjamin wants to merge 12 commits intomasterfrom
thibautbenjamin wants to merge 12 commits intomasterfrom
Commits
Commits on Sep 11, 2025
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
Commits on Sep 30, 2025
- committed
Commits on Oct 1, 2025
- committed
- committed
- committed
- committed
- committed
- committed