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

该标签暂无描述

What Kind of Type Definitions are Legal in Local C

女痞·2019-06-27 04:52·2 回答·问答

What kind of functions preserve properties of clos

Rolldiameter·2019-06-25 09:09·1 回答·问答

How to hide defined constants

贼婆χ·2019-06-24 07:36·1 回答·问答

Isabelle2016 and Proof General

来，给爷笑一个·2019-06-19 03:03·2 回答·问答

Isabelle: Why do I get completely different result

该账号已被封号·2019-06-14 11:36·1 回答·问答

How to define functions with overlapping patterns?

Animai°情兽·2019-06-12 13:48·1 回答·问答

Isabelle: transpose a matrix that includes a const

放荡不羁爱自由·2019-06-11 00:52·1 回答·问答

Isabelle: getting three different results with sle

姐就是有狂的资本·2019-06-08 08:18·2 回答·问答

Isabelle: difference between A * 1 and A ** mat 1

老娘就宠你·2019-06-01 19:21·1 回答·问答

Trying to generalize a bit vector that uses typede

ゆ 、 Hurt°·2019-05-28 01:50·1 回答·问答

How to use persistent heap images to make loading

We Are One·2019-05-25 07:21·2 回答·问答

Isabelle: how to work with matrices

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

Isabelle - exI and refl behavior explanation neede

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

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?

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

Isabelle and Scala [closed]

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

proof (rule disjE) for nested disjunction

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

Defining overloaded constants in Isabelle

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

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

上一页 1 2 3 4 下一页

相关标签