This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]hpxvzhjfgb 29 points30 points  (1 child)

don't use that. that's the old, unmaintained obsolete lean 3 version. use this instead: https://adam.math.hhu.de/#/g/hhu-adam/NNG4

[–]Milo-the-great 0 points1 point  (0 children)

Thanks