yiyunliu/eta-expand-confluence
Watch
1
0
Fork
You've already forked eta-expand-confluence
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
A confluence proof of pure untyped lambda calculus with function eta expansion
6 commits 1 branch 0 tags 52 KiB
  • Coq 98.1%
  • Makefile 1.8%
  • Standard ML 0.1%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Yiyun Liu 5dbde6d45f Add alternative direct commutativity proof
2025-04-13 21:46:22 -04:00
theories Add alternative direct commutativity proof 2025-04-13 21:46:22 -04:00
.gitignore Add syntax spec 2025-04-07 23:35:48 -04:00
_CoqProject Add syntax spec 2025-04-07 23:35:48 -04:00
Makefile Add syntax spec 2025-04-07 23:35:48 -04:00
syntax.sig Add syntax spec 2025-04-07 23:35:48 -04:00