/combinator-confluence

A proof of confluence for combinatory logic

Primary LanguageCoq

No issues in this repository yet.