Abstract

I propose a formalization challenge. The text below is a slightly edited version of the blog post Xena Project – Liquid Tensor Experiment, and I have kept its informal style.

中文翻译：

---

液体张量实验

摘要

我提出了一个形式化挑战。下面的文字是博客文章 Xena Project – Liquid Tensor Experiment 的略微编辑版本，我保留了它的非正式风格。