Skip to content

feat: Cobham Function Algebra - #899

Open
BoltonBailey wants to merge 8 commits into
leanprover:mainfrom
BoltonBailey:cobham
Open

feat: Cobham Function Algebra#899
BoltonBailey wants to merge 8 commits into
leanprover:mainfrom
BoltonBailey:cobham

remove file

8d526a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 12, 2026 in 5m 1s