4 ms·
For more details about the actual proof, see: 'Blueprint for the Liquid Tensor Experiment' https://leanprover-community.github.io/liquid/index.html https://lea
by fjfaase 5y ago
For more details about the actual proof, see: 'Blueprint for the Liquid Tensor Experiment'
https://leanprover-community.github.io/liquid/index.html https://leanprover-community.github.io/liquid/index.html