Thoughts on adjoint, norm and such.
Why do you think that https://github.com/leanprover-community/lean-liquid is a good alternative to adjoint
Thoughts on adjoint, norm and such.
Why do you think that https://github.com/leanprover-community/lean-liquid is a good alternative to adjoint