lean相关文章列表-lean - 码农岛

该标签暂无描述

From set inclusion to set equality in lean

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

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

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

Proving substitution property of successor over eq

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

Why haven't newer dependently typed languages

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