Viewing fa.isabelle
1
reply
[isabelle] proof terms & program extraction
started 2014-10-24 10:38:28 UTC
2014-10-24 12:34:45 UTC
Stefan Berghofer
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
4
replies
[isabelle] Number of undos
started 2014-09-30 10:39:05 UTC
2014-09-30 16:07:34 UTC
Makarius
3
replies
2014-09-30 07:34:48 UTC
Yannick
2
replies
[isabelle] rule induction question
started 2014-09-29 09:12:06 UTC
2014-09-29 20:19:43 UTC
Amarin Phaosawasdi
2
replies
[isabelle] nested multiset ordering?
started 2014-09-28 15:24:12 UTC
2014-09-28 17:27:30 UTC
Dmitriy Traytel
2
replies
[isabelle] Limit cardinals
started 2014-09-26 18:49:02 UTC
2014-09-26 21:12:35 UTC
Andrei Popescu
3
replies
[isabelle] Limit cardinals
started 2014-09-26 16:27:51 UTC
2014-09-26 18:00:39 UTC
Eddy Westbrook
1
reply
2014-09-26 15:07:08 UTC
Gottfried Barrow
2
replies
[isabelle] Imperative HOL: typo?
started 2014-09-15 14:21:58 UTC
2014-09-26 11:08:29 UTC
Christian Sternagel
1
reply
[isabelle] proof document with conference style
started 2014-09-23 19:54:17 UTC
2014-09-25 20:20:17 UTC
Makarius
2
replies
[isabelle] Counting the proof time
started 2014-09-08 09:31:19 UTC
2014-09-25 19:37:48 UTC
Makarius
Next Page > Load more threads