Skip to content

feat: avoid some redundant proof terms in grind#6615

Merged
leodemoura merged 4 commits intomasterfrom eq_true_optJan 12, 2025

Commits

Commits on Jan 12, 2025