1. 标签
  2. isabelle
  3. 标签动态
isabelle

该标签暂无描述

Isabelle: how to work with matrices

地球回转人心会变·2019-05-23 15:42·1 回答·问答

Isabelle - exI and refl behavior explanation neede

女痞·2019-05-20 16:27· 评论·文章

Isabelle - exI and refl behavior explanation neede

爷的心禁止访问·2019-05-20 15:57·2 回答·问答

How to get a typedef type to inherit operators fro

聊天终结者·2019-05-11 02:11· 评论·文章

How to get a typedef type to inherit operators fro

Deceive 欺骗·2019-05-11 02:23·2 回答·问答

What is a Quotient type pattern in Isabelle?

来，给爷笑一个·2019-05-09 22:45· 评论·文章

What is a Quotient type pattern in Isabelle?

Luminary・发光体·2019-05-09 22:22·1 回答·问答

Isabelle and Scala [closed]

做个烂人·2019-05-09 16:31· 评论·文章

Isabelle and Scala [closed]

闹够了就滚·2019-05-09 16:20·1 回答·问答

proof (rule disjE) for nested disjunction

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

proof (rule disjE) for nested disjunction

Emotional °昔·2019-05-05 14:08·3 回答·问答

Defining overloaded constants in Isabelle

迷人小祖宗·2019-05-04 07:33· 评论·文章

Defining overloaded constants in Isabelle

趁早两清·2019-05-04 07:07·2 回答·问答

isabelle proving commutativity for add

祖国的老花朵·2019-04-30 01:40· 评论·文章

isabelle proving commutativity for add

Animai°情兽·2019-04-30 01:51·2 回答·问答

Drop a premise in a goal in apply style

三岁会撩人·2019-04-29 05:49·2 回答·问答

Drop a premise in a goal in apply style

相关推荐>>·2019-04-29 05:57· 评论·文章

How do I generate LaTeX from Isabelle/HOL? [closed

啃猪蹄的小仙女·2019-04-21 04:39· 评论·文章

How do I generate LaTeX from Isabelle/HOL? [closed

Rolldiameter·2019-04-21 04:56·1 回答·问答

Isabelle: Power of a matrix (A^n)?

混吃等死·2019-04-16 01:28·1 回答·问答

上一页 1 2 3 4 5 6 7 8 下一页

相关标签