Point-free paths sound similar to cubical type theory from HoTT. Is there a rela... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

_fq4v on May 16, 2020 | parent | context | favorite | on: Poi: Pragmatic point-free theorem prover assistant...

Point-free paths sound similar to cubical type theory from HoTT. Is there a relation?

Great work!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact