Skip to content

feat: Cobham Function Algebra - #899

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

BoltonBailey wants to merge 16 commits into
leanprover:mainfrom
BoltonBailey:cobham

cite data

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

Annotations

1 notice
check-pr-title
succeeded Sep 19, 2026 in 2s