Skip to content

theorem library for fold operators#116

Merged
muenchnerkindl merged 4 commits into
masterfrom
fold_proofs
Dec 15, 2025
Merged

theorem library for fold operators#116
muenchnerkindl merged 4 commits into
masterfrom
fold_proofs

addressing review of fold theorems

8b5fc35
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar