ประโยคภาษาจีน : 中文句子 |
---|
huò xǔ 或许 yīng gāi 应该 shì zhe 试着 wèi 为 yàn suàn 验算 fā míng 发明 zhè yàng 这样 yì zhǒng 一种 xíng shì 形式 yǔ yán 语言 yuè 越 yōu měi 优美 de 的 yàn suàn 验算 yuè 越 duǎn 短 bǐ rú 比如 zài 在 hóng 宏 kuò zhāng 扩张 huò 或 bèi 被 biān yì 编译 zhī hòu 之后 |
Perhaps it would be worth trying to make a formal language for proofs in which those considered more elegant consistently came out shorter (perhaps after being macroexpanded or compiled). |