← Back to context

Comment by westurner

1 year ago

But HoTT is removed from lean core?

From > /? Hott in lean4 https://www.google.com/search?q=hott+in+lean4

westurner

Reply

No comments yet

Contribute on Hacker News ↗