Y
Hacker News
new
|
ask
|
show
|
jobs
by
deterministic
308 days ago
Here is a good place to start:
https://adam.math.hhu.de/#/g/leanprover-community/nng4