The blueprint for the Liquid Tensor Experiment moved to: http://leanprover-community.github.io/liquid