cl-isabelle-users@lists.cam.ac.uk

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