Mailing List:
cl-isabelle-users@lists.cam.ac.uk
Add newDisplay options
1
reply
Simplifier weakness in some object logics
started 2018-10-27 14:52:58 UTC
2018-10-30 00:21:33 UTC
Tobias Nipkow
0
replies
New AFP article: Epistemic Logic
started 2018-10-29 19:32:14 UTC
2018-10-29 19:32:14 UTC
Tobias Nipkow
1
reply
Miscellany in Language Theory
started 2018-10-25 05:29:21 UTC
2018-10-26 09:55:15 UTC
Tobias Nipkow
1
reply
Nitpick generates a wrong counterexample for a transitive closure
started 2018-10-25 11:01:31 UTC
2018-10-25 11:12:22 UTC
Denis Nikiforov
0
replies
Scholarship: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019
started 2018-10-24 12:17:59 UTC
2018-10-24 12:17:59 UTC
Mihaela Rozman
0
replies
A forest as an interface
started 2018-10-24 07:35:59 UTC
2018-10-24 07:35:59 UTC
José Manuel Rodriguez Caballero
0
replies
New AFP entry: Smooth Manifolds
started 2018-10-23 19:41:34 UTC
2018-10-23 19:41:34 UTC
Manuel Eberl
8
replies
A question about contributing to HOL
started 2018-10-20 17:05:07 UTC
2018-10-23 19:12:36 UTC
mailing-list anonymous
11
replies
Potential problems with socket I/O after Ubuntu update
started 2018-10-04 16:53:04 UTC
2018-10-23 14:50:07 UTC
Makarius
0
replies
Fwd: NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium
started 2018-10-23 09:05:20 UTC
2018-10-23 09:05:20 UTC
Rohit Dureja
1
reply
Code generation - bidirectionally?
started 2018-10-19 17:46:35 UTC
2018-10-21 20:33:02 UTC
Florian Haftmann
0
replies
New AFP entry: Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms
started 2018-10-21 19:06:54 UTC
2018-10-21 19:06:54 UTC
Tobias Nipkow
0
replies
New in the AFP: Randomised Binary Search Trees
started 2018-10-19 20:16:36 UTC
2018-10-19 20:16:36 UTC
Lawrence Paulson
2
replies
specific rewriting?
started 2018-10-19 14:49:13 UTC
2018-10-19 15:30:05 UTC
Manuel Eberl
0
replies
CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
started 2018-10-19 13:34:29 UTC
2018-10-19 13:34:29 UTC
Pascal Fontaine
0
replies
FSCD 2019 - First Call for Papers
started 2018-10-19 13:34:21 UTC
2018-10-19 13:34:21 UTC
Sandra Alves
4
replies
Confirming protocol messages in Inductive Method
started 2018-10-17 07:15:58 UTC
2018-10-19 05:05:53 UTC
Jean Martina
1
reply
Spurious abort while building sessions (de Vilhena)
started 2018-10-18 04:28:32 UTC
2018-10-18 14:47:50 UTC
Makarius
0
replies
New in the AFP: Upper Bounding Diameters of State Spaces of Factored Transition Systems
started 2018-10-18 00:13:30 UTC
2018-10-18 00:13:30 UTC
Thiemann, René
1
reply
'hence' and 'thus'
started 2018-10-10 17:47:25 UTC
2018-10-11 16:10:14 UTC
Tobias Nipkow
4
replies
Spurious abort while building sessions
started 2018-10-10 15:30:52 UTC
2018-10-10 17:13:14 UTC
Lars Hupel
0
replies
Dunning–Kruger effect and proof assistants (was: on the importance of libraries related to the ABC conjecture)
started 2018-10-08 23:23:21 UTC
2018-10-08 23:23:21 UTC
José Manuel Rodriguez Caballero
17
replies
Isabelle/OPAM
started 2018-10-05 20:52:02 UTC
2018-10-08 17:10:12 UTC
w***@cs.princeton.edu
4
replies
Simplfier inconsistency
started 2018-10-06 08:58:56 UTC
2018-10-07 15:34:50 UTC
Makarius
0
replies
Isabelle for research
started 2018-10-04 16:21:30 UTC
2018-10-04 16:21:30 UTC
José Manuel Rodriguez Caballero
2
replies
Isabelle/HOL on MacBook "untrusted"?
started 2018-10-03 18:06:40 UTC
2018-10-04 14:49:21 UTC
Makarius
0
replies
new in the AFP: The Transcendence of π
started 2018-10-02 16:56:33 UTC
2018-10-02 16:56:33 UTC
Lawrence Paulson
1
reply
Commenting out content in text <...>
started 2018-08-28 20:09:51 UTC
2018-10-01 15:12:08 UTC
Makarius
0
replies
new in the AFP: Symmetric Polynomials
started 2018-09-26 19:01:45 UTC
2018-09-26 19:01:45 UTC
Lawrence Paulson
1
reply
Isabelle for research (was: on the importance of libraries related to the ABC conjecture)
started 2018-09-26 12:33:20 UTC
2018-09-26 15:24:24 UTC
Freek Wiedijk
Click to Load More...
Loading...