Viewing fa.isabelle
2
replies
2014-10-31 17:06:52 UTC
Dmitriy Traytel
1
reply
2014-10-31 15:16:34 UTC
Peter Lammich
1
reply
[isabelle] Semantics of code adaptations
started 2014-10-21 15:06:55 UTC
2014-10-30 19:23:07 UTC
Florian Haftmann
27
replies
2014-10-30 09:47:10 UTC
Buday Gergely
4
replies
[isabelle] questions about forall
started 2014-10-27 05:11:23 UTC
2014-10-28 14:55:22 UTC
Amarin Phaosawasdi
2
replies
[isabelle] proof terms & program extraction
started 2014-10-24 10:38:28 UTC
2014-10-28 10:18:53 UTC
Daniel Weller
1
reply
[isabelle] TERM exception in fologic.ML
started 2014-10-27 19:40:19 UTC
2014-10-27 20:27:44 UTC
Makarius
2
replies
2014-10-27 06:54:14 UTC
Andreas Lochbihler
10
replies
2014-10-26 23:22:45 UTC
M A
4
replies
2014-10-26 13:27:24 UTC
Makarius
1
reply
[isabelle] OSX Yosemite
started 2014-10-25 19:43:39 UTC
2014-10-26 11:35:36 UTC
Lawrence Paulson
1
reply
[isabelle] Easier quick PDF generation possible?
started 2014-10-23 13:41:57 UTC
2014-10-24 10:17:43 UTC
Gergely Buday
1
reply
2014-10-22 09:35:52 UTC
Makarius
1
reply
[isabelle] Theory Prefix_Order
started 2014-10-20 15:10:30 UTC
2014-10-20 16:06:15 UTC
Christian Sternagel
1
reply
[isabelle] The environment function
started 2014-10-15 16:35:40 UTC
2014-10-20 14:19:19 UTC
Makarius
3
replies
[isabelle] Raw proof blocks
started 2014-10-19 16:42:37 UTC
2014-10-20 07:22:34 UTC
Lars Noschinski
2
replies
[isabelle] Isabelle
started 2014-09-30 15:52:58 UTC
2014-10-20 04:24:46 UTC
Andrew Boyton
6
replies
[isabelle] reasoning with even and odd numbers
started 2014-10-15 03:51:47 UTC
2014-10-19 18:50:14 UTC
Manuel Eberl
1
reply
[isabelle] Problems with nitpick
started 2014-10-16 12:27:40 UTC
2014-10-16 13:42:53 UTC
Jasmin Christian Blanchette
2
replies
[isabelle] Sublocale, subclass and execution.
started 2014-10-10 09:56:32 UTC
2014-10-16 11:33:00 UTC
Florian Haftmann
3
replies
2014-10-11 11:42:20 UTC
René Thiemann
12
replies
2014-10-10 11:51:47 UTC
Makarius
3
replies
2014-10-10 09:56:43 UTC
René Thiemann
6
replies
[isabelle] The theory Option
started 2014-10-07 20:44:46 UTC
2014-10-09 16:19:29 UTC
Gottfried Barrow
3
replies
2014-10-07 15:57:33 UTC
Florian Haftmann
3
replies
[isabelle] linear programming
started 2014-10-03 19:20:00 UTC
2014-10-05 17:54:39 UTC
Gergely Buday
3
replies
2014-10-02 17:19:46 UTC
Florian Haftmann
3
replies
[isabelle] Gcd class and polynomials
started 2014-10-01 09:04:07 UTC
2014-10-02 16:30:02 UTC
Jose Divasón
1
reply
[isabelle] Field lemmas in theory Int
started 2014-10-01 23:57:03 UTC
2014-10-02 01:09:49 UTC
Brian Huffman
6
replies
[isabelle] Problems with code-datatype
started 2014-09-27 14:24:08 UTC
2014-10-01 10:58:52 UTC
René Thiemann
Next Page > Load more threads