yiyunliu/eta-expand-confluence
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 5dbde6d45f Add alternative direct commutativity proof master Yiyun Liu 2025-04-13 21:46:22 -04:00
  • 593f50ebaa Attempt to directly show commutation of parallel betaeta Yiyun Liu 2025-04-13 20:59:52 -04:00
  • 21bb2944a3 Restructure proof to use hindley rosen Yiyun Liu 2025-04-08 22:25:25 -04:00
  • 9d3c3726dd The proof is miserable Yiyun Liu 2025-04-08 16:53:58 -04:00
  • 00f581bcc7 Work on diamond Yiyun Liu 2025-04-08 01:04:18 -04:00
  • 5cf82dae12 Add syntax spec Yiyun Liu 2025-04-07 23:35:48 -04:00