Skip to main content

Timeline for Is eta-equality provable in Coq?

Current License: CC BY-SA 4.0

1 event
when toggle format what by license comment
Feb 10, 2022 at 11:55 history answered Meven Lennon-Bertrand CC BY-SA 4.0