News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.