Mailing List:
cl-isabelle-users@lists.cam.ac.uk
Add newDisplay options
25
replies
Bug report. \<^bold>\<lambda> in Cube.thy
started 2018-09-21 00:44:43 UTC
2018-09-26 14:20:16 UTC
Jeremy Dawson
10
replies
on the importance of libraries related to the ABC conjecture
started 2018-09-21 08:40:33 UTC
2018-09-26 05:31:12 UTC
Dr A. Koutsoukou-Argyraki
1
reply
News: ( * ) -> (*)
started 2018-09-25 16:19:26 UTC
2018-09-25 17:01:06 UTC
Makarius
1
reply
Supermartingale and Azuma–Hoeffding inequality
started 2018-09-24 05:27:04 UTC
2018-09-24 13:15:43 UTC
Johannes Hölzl
0
replies
ITP2019: Call for Workshops
started 2018-09-21 11:49:08 UTC
2018-09-21 11:49:08 UTC
O'Leary, John W
1
reply
New in the AFP: Signature-Based Gröbner Basis Algorithms
started 2018-09-20 14:58:01 UTC
2018-09-20 16:50:36 UTC
Tobias Nipkow
1
reply
License for Isabelle fonts
started 2018-09-20 13:11:42 UTC
2018-09-20 15:17:01 UTC
Makarius
1
reply
well-founded strict partial ordering
started 2018-09-19 14:52:04 UTC
2018-09-20 13:02:37 UTC
Christian Sternagel
0
replies
New in the AFP: The Prime Number Theorem
started 2018-09-20 12:37:15 UTC
2018-09-20 12:37:15 UTC
Thiemann, René
3
replies
HoTT logic release
started 2018-09-18 15:17:05 UTC
2018-09-18 23:41:36 UTC
José Manuel Rodriguez Caballero
0
replies
CPP 2019: Final Call for Papers
started 2018-09-18 14:28:33 UTC
2018-09-18 14:28:33 UTC
Magnus Myreen
0
replies
Sledgehammer vampire error message
started 2018-09-18 12:50:23 UTC
2018-09-18 12:50:23 UTC
Mark Wassell
1
reply
Existence and Uniqueness
started 2018-09-17 22:30:28 UTC
2018-09-17 23:15:42 UTC
Manuel Eberl
0
replies
Quantum Computing. Contents of Cl-isabelle-users digest, Vol 159, Issue 10
started 2018-09-17 22:17:49 UTC
2018-09-17 22:17:49 UTC
Anthony Bordg
13
replies
free Abelian groups
started 2018-09-03 22:32:13 UTC
2018-09-17 20:07:50 UTC
Manuel Eberl
0
replies
New in the AFP: Octonions
started 2018-09-16 15:06:43 UTC
2018-09-16 15:06:43 UTC
Manuel Eberl
0
replies
New AFP article: Aggregation Algebras
started 2018-09-16 14:55:10 UTC
2018-09-16 14:55:10 UTC
Tobias Nipkow
0
replies
PhD and Postdoc Positions at the University of Innsbruck
started 2018-09-14 10:01:21 UTC
2018-09-14 10:01:21 UTC
Cezary Kaliszyk
0
replies
Nitpick bug
started 2018-09-13 14:36:57 UTC
2018-09-13 14:36:57 UTC
xanonec xyz
0
replies
Mailing list archive configuration
started 2018-09-13 13:57:12 UTC
2018-09-13 13:57:12 UTC
José Manuel Rodriguez Caballero
0
replies
Open Engineer Position in ProofInUse joint laboratory
started 2018-09-13 13:41:53 UTC
2018-09-13 13:41:53 UTC
Claude Marché
2
replies
about Top 100 Theorems submissions
started 2018-09-12 20:49:14 UTC
2018-09-12 23:48:36 UTC
José Manuel Rodriguez Caballero
5
replies
Where I could find the Schroeder-Bernstein Theorem?
started 2018-09-12 16:19:01 UTC
2018-09-12 22:59:07 UTC
Andrei Popescu
1
reply
Option type question
started 2018-09-11 17:47:44 UTC
2018-09-11 18:10:29 UTC
Thiemann, René
0
replies
CfP: Postproceedings ThEdu'18
started 2018-09-11 13:13:33 UTC
2018-09-11 13:13:33 UTC
Walther Neuper
3
replies
Questions about Isebelle session build process
started 2018-09-10 13:11:57 UTC
2018-09-11 07:20:50 UTC
Ching-Tsun Chou
3
replies
Problems with newline in String.literal
started 2018-09-05 13:32:45 UTC
2018-09-10 21:48:25 UTC
Florian Haftmann
1
reply
Unusual simp behavior
started 2018-09-08 01:15:31 UTC
2018-09-08 09:41:38 UTC
Tobias Nipkow
0
replies
New in the AFP: Quaternions
started 2018-09-07 16:08:20 UTC
2018-09-07 16:08:20 UTC
Thiemann, René
0
replies
Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension)
started 2018-09-07 14:22:02 UTC
2018-09-07 14:22:02 UTC
Matthias Güdemann
Click to Load More...
Loading...