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

该标签暂无描述

What is an Isabelle/HOL subtype? What Isar command

叛逆·2020-02-11 03:53· 评论·文章

Organizing constraints in isabelle in order to mod

迷人小祖宗·2019-09-08 04:30· 评论·文章

Defining disjoint union of different types in Isab

傲·2019-09-07 09:41· 评论·文章

Intro rule for “∀r>0” in Isabelle

冷血范·2019-07-31 23:30· 评论·文章

proof (rule disjE) for nested disjunction

老娘就宠你·2019-05-05 14:40· 评论·文章

Proof assistant for mathematics only

乱世女痞·2019-03-20 17:39· 评论·文章