HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by b_e_n_t_o_n | Hacker News Reader
Parent
Full thread
b_e_n_t_o_n
·
This is way beyond my capacity for understanding ;)
View on HN
deterministic
·
Here is a good place to start:
https://adam.math.hhu.de/#/g/leanprover-community/nng4
Reply on news.ycombinator.com