[b_e_n_t_o_n]

This is way beyond my capacity for understanding ;)

[deterministic]

Here is a good place to start:

https://adam.math.hhu.de/#/g/leanprover-community/nng4