← Back to context

Comment by ants_everywhere

3 days ago

There are a few.

The lean one is at https://github.com/leanprover-community/mathlib4

0 comments

ants_everywhere

Reply

No comments yet

Contribute on Hacker News ↗