Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom. Parent comment
I don't think there is a proof assistant that's really based on categorical foundations. I'd love to see something like that though.
There are no comments on this comment yet.
I don't think there is a proof assistant that's really based on categorical foundations. I'd love to see something like that though.