feat: Cobham Function Algebra - #899

Open

BoltonBailey wants to merge 16 commits into

leanprover:mainfrom

BoltonBailey:cobham

Commits on Sep 11, 2026

initial draft
BoltonBailey
committed
55f8583
naming things
BoltonBailey
committed
f9e19f3
arguments before colon
BoltonBailey
committed
f191e53

Commits on Sep 12, 2026

move definition
BoltonBailey
committed
10c8360
update import
BoltonBailey
committed
a54c6fe
style
BoltonBailey
committed
66aa0d6
add unneeded typeclasses
BoltonBailey
committed
050b300
remove file
BoltonBailey
committed
8d526a1

Commits on Sep 19, 2026

more design notes.
BoltonBailey
committed
0a04070
more explanation
BoltonBailey
committed
ed7a2e7
add multitape version
BoltonBailey
committed
bd1684e
add refs
BoltonBailey
committed
8aa96fb
wording nits
BoltonBailey
committed
2e7d697
grammar
BoltonBailey
committed
db9cf38
more docstring improvements
BoltonBailey
committed
429ae93
cite data
BoltonBailey
committed
c3b8bbf