lean - 码农岛

该标签暂无描述

From set inclusion to set equality in lean

傲·2019-07-28 11:46· 评论·文章

From set inclusion to set equality in lean

啃猪蹄的小仙女·2019-07-28 11:36·1 回答·问答

How to prove a = b → a + 1 = b + 1 in lean?

贼婆χ·2019-05-07 18:19·3 回答·问答

How to prove a = b → a + 1 = b + 1 in lean?

神经病院院长·2019-05-07 18:35· 评论·文章

Proving substitution property of successor over eq

Evening l夕情丶·2019-04-24 02:16·1 回答·问答

Proving substitution property of successor over eq

啃猪蹄的小仙女·2019-04-24 02:30· 评论·文章

Why haven't newer dependently typed languages

相关推荐>>·2019-03-09 02:45· 评论·文章

Why haven't newer dependently typed languages

该账号已被封号·2019-03-09 02:39·2 回答·问答