Re:RZK: Experimental proof assistant for synthetic ∞-categories
by electrozav on Thursday September 28, 2023 @02:38PM
(#37693793)
I didn't read it as a complaint, more of a humorous observation. Either way, there's no need to get aggressive onto someone that hasn't figured it out yet.
[ Parent
| on HN ]
There are no comments on this comment yet.