A Coq proof of Church-Rosser for combinatory logic using parallel reductions.
emarzion/combinator-confluence
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A Coq proof of Church-Rosser for combinatory logic using parallel reductions.