Newsgroup:
fa.isabelle
Add New Display Options
1
reply
[isabelle] Eisbach match drule
started 2016-07-22 09:27:28 UTC
2016-07-25 02:50:30 UTC
Thomas Sewell
2
replies
[isabelle] Printing full ML output in Isabelle/jEdit
started 2016-07-24 09:40:53 UTC
2016-07-24 09:56:00 UTC
Lars Hupel
3
replies
[isabelle] No type arity itself
started 2016-07-23 14:02:53 UTC
2016-07-23 18:10:16 UTC
Manuel Eberl
2
replies
[isabelle] nonnegative quadratic polynomial
started 2016-07-19 14:15:18 UTC
2016-07-19 16:30:59 UTC
Omar Jasim
1
reply
[isabelle] a proof on primitive recursion
started 2016-07-18 12:13:24 UTC
2016-07-18 13:03:22 UTC
Alfio Martini
9
replies
[isabelle] The presentation of Goedel's First Incompleteness Theorem by Lawrence C. Paulson (and others)
started 2015-12-22 10:58:29 UTC
2016-07-17 05:02:25 UTC
Corey Richardson
3
replies
[isabelle] simp only:
started 2016-07-14 12:05:40 UTC
2016-07-15 07:42:40 UTC
Andreas Lochbihler
6
replies
[isabelle] Clone detection for Isabelle theories
started 2016-07-13 14:22:47 UTC
2016-07-14 15:56:27 UTC
Lars Hupel
5
replies
[isabelle] automatically grade Isabelle homework?
started 2016-07-09 09:04:16 UTC
2016-07-14 13:57:18 UTC
Johannes Waldmann
4
replies
[isabelle] A tautological error?
started 2016-07-11 12:40:09 UTC
2016-07-14 09:35:42 UTC
Ken Kubota
2
replies
[isabelle] using oops in document preparation
started 2016-07-12 10:22:58 UTC
2016-07-12 10:52:05 UTC
Andreas Lochbihler
2
replies
[isabelle] using a remote server behind Isabelle/jEdit
started 2016-07-12 10:22:52 UTC
2016-07-12 10:44:22 UTC
Makarius
1
reply
[isabelle] "natural deduction" vs. Gentzen-style
started 2016-07-11 08:23:55 UTC
2016-07-11 09:30:36 UTC
Andreas Röhler
5
replies
[isabelle] Inequality assumption
started 2016-07-05 15:25:36 UTC
2016-07-08 10:23:17 UTC
Lawrence Paulson
1
reply
[isabelle] Isabelle and the text console
started 2016-07-08 09:59:32 UTC
2016-07-08 10:19:06 UTC
Lawrence Paulson
1
reply
[isabelle] Mean value theorem for has_vector_derivative
started 2016-07-05 10:43:32 UTC
2016-07-05 16:28:12 UTC
Johannes Hölzl
3
replies
[isabelle] HTML string of term
started 2016-06-30 18:22:08 UTC
2016-07-05 13:44:01 UTC
Omar Montano Rivas
2
replies
[isabelle] generating Isar code with screen font
started 2016-07-05 13:10:06 UTC
2016-07-05 13:38:32 UTC
Andreas Lochbihler
2
replies
[isabelle] MacOS and Isabelle2016
started 2016-06-29 14:09:25 UTC
2016-07-02 13:06:22 UTC
Alexandre Rademaker
1
reply
[isabelle] feature requests on Isabelle/jEdit
started 2016-07-01 09:09:42 UTC
2016-07-01 09:32:12 UTC
Makarius
1
reply
[isabelle] Termination of function on DAG nodes
started 2016-06-25 21:16:27 UTC
2016-06-27 20:10:22 UTC
Rupert Swarbrick
6
replies
[isabelle] Parametrized transfer rules with lift_definition
started 2016-06-10 15:36:45 UTC
2016-06-24 14:27:35 UTC
Andreas Lochbihler
2
replies
[isabelle] AFP submission site is unavailable?
started 2016-06-23 20:14:23 UTC
2016-06-23 21:17:45 UTC
Lars Hupel
3
replies
[isabelle] Permutations
started 2016-06-23 08:07:15 UTC
2016-06-23 10:07:31 UTC
Christian Sternagel
1
reply
[isabelle] Specification.definition: Getting theorem for Const, not Free?
started 2016-06-22 23:36:55 UTC
2016-06-23 06:31:05 UTC
Lars Hupel
2
replies
[isabelle] Parametricity for functions which ignore arguments
started 2016-06-20 07:44:47 UTC
2016-06-22 17:11:04 UTC
Andrei Popescu
3
replies
[isabelle] Malformed dependency error with overloading
started 2016-05-27 11:20:58 UTC
2016-06-20 15:28:06 UTC
Simon Foster
1
reply
[isabelle] Question about code generation
started 2016-06-15 06:43:13 UTC
2016-06-16 18:44:38 UTC
Jørgen Villadsen
3
replies
[isabelle] lift_definition in locales
started 2016-06-15 18:51:36 UTC
2016-06-16 12:22:26 UTC
Mathias Fleury
1
reply
[isabelle] Operator clash for $
started 2016-06-16 09:57:07 UTC
2016-06-16 10:13:39 UTC
Andreas Lochbihler
Click to Load More...
Loading...