Newsgroup:
fa.isabelle
Add New Display Options
1
reply
[isabelle] Isabelle and the text console
started 2016-07-08 14:59:32 UTC
2016-07-08 15:19:06 UTC
Lawrence Paulson
1
reply
[isabelle] Mean value theorem for has_vector_derivative
started 2016-07-05 15:43:32 UTC
2016-07-05 21:28:12 UTC
Johannes Hölzl
3
replies
[isabelle] HTML string of term
started 2016-06-30 23:22:08 UTC
2016-07-05 18:44:01 UTC
Omar Montano Rivas
2
replies
[isabelle] generating Isar code with screen font
started 2016-07-05 18:10:06 UTC
2016-07-05 18:38:32 UTC
Andreas Lochbihler
2
replies
[isabelle] MacOS and Isabelle2016
started 2016-06-29 19:09:25 UTC
2016-07-02 18:06:22 UTC
Alexandre Rademaker
1
reply
[isabelle] feature requests on Isabelle/jEdit
started 2016-07-01 14:09:42 UTC
2016-07-01 14:32:12 UTC
Makarius
1
reply
[isabelle] Termination of function on DAG nodes
started 2016-06-26 02:16:27 UTC
2016-06-28 01:10:22 UTC
Rupert Swarbrick
6
replies
[isabelle] Parametrized transfer rules with lift_definition
started 2016-06-10 20:36:45 UTC
2016-06-24 19:27:35 UTC
Andreas Lochbihler
2
replies
[isabelle] AFP submission site is unavailable?
started 2016-06-24 01:14:23 UTC
2016-06-24 02:17:45 UTC
Lars Hupel
3
replies
[isabelle] Permutations
started 2016-06-23 13:07:15 UTC
2016-06-23 15:07:31 UTC
Christian Sternagel
1
reply
[isabelle] Specification.definition: Getting theorem for Const, not Free?
started 2016-06-23 04:36:55 UTC
2016-06-23 11:31:05 UTC
Lars Hupel
2
replies
[isabelle] Parametricity for functions which ignore arguments
started 2016-06-20 12:44:47 UTC
2016-06-22 22:11:04 UTC
Andrei Popescu
3
replies
[isabelle] Malformed dependency error with overloading
started 2016-05-27 16:20:58 UTC
2016-06-20 20:28:06 UTC
Simon Foster
1
reply
[isabelle] Question about code generation
started 2016-06-15 11:43:13 UTC
2016-06-16 23:44:38 UTC
Jørgen Villadsen
3
replies
[isabelle] lift_definition in locales
started 2016-06-15 23:51:36 UTC
2016-06-16 17:22:26 UTC
Mathias Fleury
2
replies
[isabelle] Operator with Pair sets
started 2016-06-16 13:45:02 UTC
2016-06-16 14:32:59 UTC
Andreas Lochbihler
2
replies
[isabelle] Opaque ascription for SML code generation
started 2016-06-10 23:28:52 UTC
2016-06-14 22:01:32 UTC
Jørgen Villadsen
2
replies
[isabelle] Large theories
started 2016-06-07 16:31:45 UTC
2016-06-09 14:03:35 UTC
Станислав Владимирович Моисеев
3
replies
[isabelle] Fwd: Executing 2 Isabelle-2016 or even 2 Jedit processes on Windows
started 2016-06-08 14:09:56 UTC
2016-06-09 02:53:26 UTC
Nemouchi Yakoub
3
replies
[isabelle] Turnstile
started 2016-06-07 04:57:25 UTC
2016-06-07 18:12:38 UTC
Makarius
5
replies
[isabelle] Set Comprehention {5n. n€N} without existence-quantor?
started 2016-06-06 16:10:12 UTC
2016-06-06 16:35:25 UTC
Jonathan Woodgate via Cl-isabelle-users
12
replies
[isabelle] Algebraic_Numbers
started 2016-06-02 12:36:25 UTC
2016-06-04 17:19:28 UTC
Makarius
5
replies
[isabelle] SAT solver problem
started 2016-06-02 14:43:07 UTC
2016-06-03 00:11:56 UTC
Makarius
1
reply
[isabelle] Printing natural numbers
started 2016-05-31 12:10:46 UTC
2016-06-02 12:33:55 UTC
Manuel Eberl
2
replies
[isabelle] theoretical question
started 2016-05-31 14:43:54 UTC
2016-06-01 15:33:14 UTC
Lawrence Paulson
2
replies
[isabelle] Questions about Quickcheck
started 2016-05-30 16:29:53 UTC
2016-06-01 11:20:26 UTC
Lukas Bulwahn
3
replies
[isabelle] Problem with "additional type variables" in a definition
started 2016-05-24 14:35:25 UTC
2016-05-30 23:54:16 UTC
Makarius
3
replies
[isabelle] A single way to reference AFP entries
started 2016-05-20 16:04:55 UTC
2016-05-30 23:12:04 UTC
Makarius
3
replies
[isabelle] Isabelle 2005 request
started 2016-05-23 16:07:58 UTC
2016-05-30 17:49:32 UTC
Rajeev Gore
9
replies
[isabelle] [Noob] Proof on trees
started 2016-05-26 22:11:13 UTC
2016-05-29 06:18:31 UTC
Alfio Martini
Click to Load More...
Loading...