Mailing List:
cl-isabelle-users@lists.cam.ac.uk
Add newDisplay options
0
replies
A neural Automated Theorem Prover for higher-order logic
started 2018-11-25 17:52:05 UTC
2018-11-25 17:52:05 UTC
José Manuel Rodriguez Caballero
3
replies
Derive shows with List
started 2018-05-22 00:45:17 UTC
2018-11-22 20:12:02 UTC
Christian Sternagel
0
replies
HOL-Algebra
started 2018-11-22 19:24:03 UTC
2018-11-22 19:24:03 UTC
Anthony Bordg
4
replies
Finishing all proofs in use_thy
started 2018-11-15 22:38:27 UTC
2018-11-21 16:30:08 UTC
Dominique Unruh
2
replies
New AFP entry: Deriving generic class instances for datatypes
started 2018-11-21 10:38:20 UTC
2018-11-21 15:25:46 UTC
Johannes Hölzl
0
replies
New AFP entry: Matroids
started 2018-11-21 00:20:29 UTC
2018-11-21 00:20:29 UTC
Tobias Nipkow
0
replies
Creative Maths Challenge
started 2018-11-20 19:23:52 UTC
2018-11-20 19:23:52 UTC
Lawrence Paulson
2
replies
String inner syntax
started 2018-11-18 21:28:02 UTC
2018-11-18 22:18:13 UTC
Makarius
1
reply
Commenting out inside text <> block
started 2018-11-18 19:11:49 UTC
2018-11-18 20:41:30 UTC
Makarius
0
replies
Isabelle/MMT: export of Isabelle theories and import as OMDoc content
started 2018-11-16 18:25:11 UTC
2018-11-16 18:25:11 UTC
Makarius
1
reply
Bug in Proofterm.all_oracles_of
started 2018-11-16 17:39:01 UTC
2018-11-16 18:01:21 UTC
Makarius
0
replies
Fwd: Job Opportunity at D-RisQ
started 2018-11-16 16:20:47 UTC
2018-11-16 16:20:47 UTC
Rob Arthan
2
replies
Canonical Proof Props
started 2018-11-14 13:18:08 UTC
2018-11-15 07:10:32 UTC
E***@data61.csiro.au
1
reply
Proving Contests (preventing cheating)
started 2018-11-12 21:31:29 UTC
2018-11-13 16:59:17 UTC
José Manuel Rodriguez Caballero
0
replies
Data61 seeking Research Scientist
started 2018-11-13 14:22:24 UTC
2018-11-13 14:22:24 UTC
G***@data61.csiro.au
0
replies
Data61 hiring Proof Engineers
started 2018-11-13 14:17:16 UTC
2018-11-13 14:17:16 UTC
G***@data61.csiro.au
0
replies
Open Ph.D. and post-doc positions in formal verification of secured networked systems at ETH Zurich
started 2018-11-13 03:37:37 UTC
2018-11-13 03:37:37 UTC
Traytel Dmitriy
0
replies
[Isabelle] Abstract Field Theory (was: Quantum Computing)
started 2018-11-10 14:41:38 UTC
2018-11-10 14:41:38 UTC
José Manuel Rodriguez Caballero
1
reply
ML - How to handle ERROR exception
started 2018-11-09 01:25:51 UTC
2018-11-09 17:58:26 UTC
Makarius
0
replies
CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials
started 2018-11-09 16:09:32 UTC
2018-11-09 16:09:32 UTC
Serge Autexier
0
replies
Multiple Postdoc Positions @ Nanyang Technological University on verification
started 2018-11-09 15:36:08 UTC
2018-11-09 15:36:08 UTC
Sanan Baena David Miguel (Dr)
3
replies
"Proofs of life"
started 2018-11-07 14:14:19 UTC
2018-11-09 13:27:21 UTC
Rene Vestergaard
0
replies
Proving Contests (preventing cheating)
started 2018-11-07 21:02:14 UTC
2018-11-07 21:02:14 UTC
José Manuel Rodriguez Caballero
8
replies
Proving Contests
started 2018-11-07 05:59:06 UTC
2018-11-07 19:41:41 UTC
José Manuel Rodriguez Caballero
0
replies
Proving for Fun
started 2018-11-06 17:12:42 UTC
2018-11-06 17:12:42 UTC
Max Haslbeck
4
replies
International Olympiad in Isabelle?
started 2018-06-17 19:04:07 UTC
2018-11-06 04:11:11 UTC
José Manuel Rodriguez Caballero
11
replies
Fairly stable Isabelle2018-RC3 available
started 2018-07-29 21:18:32 UTC
2018-11-05 19:21:08 UTC
Peter Lammich
0
replies
FSCD 2019 - Call for Workshop Proposals
started 2018-11-02 00:44:28 UTC
2018-11-02 00:44:28 UTC
Sandra Alves
0
replies
New in the AFP
started 2018-10-31 21:31:58 UTC
2018-10-31 21:31:58 UTC
Lawrence Paulson
2
replies
type_synonym and dummy types
started 2018-10-30 15:13:43 UTC
2018-10-30 22:31:08 UTC
Dominique Unruh
Click to Load More...
Loading...