ParentFull threaddeterministic·Here is a good place to start:https://adam.math.hhu.de/#/g/leanprover-community/nng4View on HN