Viewing fa.isabelle
1
reply
[isabelle] Ambiguous input
started 2014-11-27 14:52:10 UTC
2014-11-27 15:03:59 UTC
René Thiemann
5
replies
2014-11-27 12:14:48 UTC
Daniel Raggi
1
reply
2014-11-26 11:07:55 UTC
Florian Haftmann
1
reply
[isabelle] Array
started 2014-11-25 14:52:39 UTC
2014-11-25 15:27:23 UTC
Peter Lammich
2
replies
[isabelle] Define a fun
started 2014-11-25 13:05:02 UTC
2014-11-25 13:26:10 UTC
Peter Lammich
1
reply
[isabelle] Isar-Level cases command
started 2014-11-25 10:00:49 UTC
2014-11-25 10:45:14 UTC
Andreas Lochbihler
13
replies
2014-11-24 16:57:05 UTC
Jasmin Christian Blanchette
14
replies
[isabelle] replace "isabelle tty"
started 2014-11-18 15:54:53 UTC
2014-11-24 16:00:01 UTC
Makarius
2
replies
2014-11-23 10:50:46 UTC
Dmitriy Traytel
3
replies
2014-11-22 02:11:12 UTC
Josh Tilles
2
replies
[isabelle] Problems with nitpick
started 2014-10-16 12:27:40 UTC
2014-11-21 20:24:30 UTC
Jasmin Christian Blanchette
1
reply
[isabelle] Z3 proof reconstruction - optimizations
started 2014-08-22 10:45:16 UTC
2014-11-21 20:23:15 UTC
Jasmin Christian Blanchette
5
replies
[isabelle] Generic Contexts and Generic Data
started 2014-11-11 15:15:07 UTC
2014-11-21 15:51:15 UTC
Makarius
20
replies
2014-11-21 14:58:05 UTC
Makarius
4
replies
[isabelle] HOL quantifiers in intro rules
started 2014-11-20 12:57:46 UTC
2014-11-21 14:44:38 UTC
Makarius
6
replies
[isabelle] AFP submission and smt2
started 2014-11-04 20:09:23 UTC
2014-11-20 09:24:57 UTC
Florian Haftmann
5
replies
[isabelle] Isabelle/PIDE as IDE for Standard ML
started 2014-11-17 20:51:23 UTC
2014-11-19 10:34:56 UTC
Makarius
2
replies
[isabelle] Reindexing series
started 2014-11-17 09:46:17 UTC
2014-11-18 09:12:56 UTC
Andreas Lochbihler
2
replies
2014-11-17 15:43:04 UTC
Clarissa Littler
2
replies
[isabelle] Behaviour of Variable.variant_fixes
started 2014-08-22 09:31:43 UTC
2014-11-17 14:24:47 UTC
Lars Hupel
4
replies
2014-11-13 15:13:31 UTC
René Thiemann
1
reply
[isabelle] rule then simp in apply style proofs
started 2014-11-11 21:26:07 UTC
2014-11-12 07:57:01 UTC
Peter Lammich
1
reply
[isabelle] IMP Program
started 2014-11-07 15:20:13 UTC
2014-11-07 16:15:37 UTC
Peter Lammich
3
replies
2014-11-06 22:23:59 UTC
C. Diekmann
3
replies
[isabelle] reusable proofs
started 2014-11-04 20:17:20 UTC
2014-11-06 06:35:42 UTC
Amarin Phaosawasdi
4
replies
[isabelle] Ad-hoc-proving attributes
started 2014-11-04 16:48:39 UTC
2014-11-05 14:24:59 UTC
Peter Lammich
3
replies
[isabelle] Trouble with the Int Theory
started 2014-11-01 08:33:48 UTC
2014-11-04 17:31:23 UTC
Scott Constable
1
reply
2014-11-04 16:42:01 UTC
marco caminati
4
replies
[isabelle] Easier quick PDF generation possible?
started 2014-10-23 13:41:57 UTC
2014-11-04 15:31:10 UTC
Makarius
1
reply
[isabelle] Uninstall instructions
started 2014-11-03 19:26:30 UTC
2014-11-03 19:47:39 UTC
Lawrence Paulson
Next Page > Load more threads