lean相关问题列表-lean - 码农岛

该标签暂无描述

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 回答·问答

Proving substitution property of successor over eq

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

Why haven't newer dependently typed languages

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