卡在逻辑基金会的Mapp案件中
我正在教自己通过逻辑基础课程使用COQ证明助手。 我被困在试图证明泵送引理的 mapp 情况下。 Lemma pumping : forall T (re : reg_exp T) s, s =~ re …
- 共 1 页
- 1
我正在教自己通过逻辑基础课程使用COQ证明助手。 我被困在试图证明泵送引理的 mapp 情况下。 Lemma pumping : forall T (re : reg_exp T) s, s =~ re …
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。