hol-info@lists.sourceforge.net

2

replies

How to write a general EQ_CONV ?

started 2017-07-23 02:23:08 UTC

2017-07-23 12:02:13 UTC

Chun Tian (binghe)

6

replies

On the use of new_axiom() in formal projects

started 2017-07-13 16:10:21 UTC

2017-07-22 20:05:34 UTC

Chun Tian (binghe)

0

replies

On the use of new_axiom() in formal projects

started 2017-07-22 05:20:13 UTC

2017-07-22 05:20:13 UTC

Chun Tian (binghe)

0

replies

SEFM 2017 -- Call for Participation

started 2017-07-20 20:16:45 UTC

2017-07-20 20:16:45 UTC

Alberto Griggio

0

replies

[fm-announcements] RV 2017 - 1st Call for Participation

started 2017-07-20 05:47:13 UTC

2017-07-20 05:47:13 UTC

Havelund, Klaus (348B)

0

replies

Open PhD positions

started 2017-07-19 19:00:36 UTC

2017-07-19 19:00:36 UTC

Martin Leucker

0

replies

Open PostDoc Positions

started 2017-07-19 16:41:34 UTC

2017-07-19 16:41:34 UTC

Martin Leucker

0

replies

DATE 2018 Formal Methods and Verification Track (D4)

started 2017-07-17 17:05:55 UTC

2017-07-17 17:05:55 UTC

Schmaltz, J.

0

replies

KR 2018 Preliminary Call for Papers

started 2017-07-15 02:12:15 UTC

2017-07-15 02:12:15 UTC

Marcello Balduccini

7

replies

A question about ordinals

started 2017-07-12 22:50:08 UTC

2017-07-13 12:00:45 UTC

Chun Tian (binghe)

2

replies

Vimhol key binding for showtypes

started 2017-07-10 03:24:37 UTC

2017-07-13 10:39:30 UTC

Ramana Kumar

1

reply

Concept of a small logical kernel, preserving logical dependencies, axiomatic type classes vs. type abstraction, Isabelle documentation – Re: [isabelle] Verify the legitimacy of a proof?

started 2017-07-09 21:04:22 UTC

2017-07-12 01:38:07 UTC

Ken Kubota

2

replies

Counting Subgoals in a Proof

started 2017-07-11 15:34:49 UTC

2017-07-11 20:49:00 UTC

Konrad Slind

0

replies

SOAP@SAC 2017, April 9-13, Pau, France - call for papers

started 2017-07-10 21:42:37 UTC

2017-07-10 21:42:37 UTC

s***@gmail.com

3

replies

How to define "infinite sums" of custom datatypes?

started 2017-07-03 16:22:13 UTC

2017-07-10 13:30:54 UTC

Chun Tian (binghe)

0

replies

CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages

started 2017-07-10 12:33:49 UTC

2017-07-10 12:33:49 UTC

m***@mat.unical.it

1

reply

Choosing an element from an infinite set according to an equivalence relation and a finite set?

started 2017-07-03 19:43:50 UTC

2017-07-05 15:29:15 UTC

Chun Tian (binghe)

0

replies

Funded PhD positions at Edinburgh verifying embedded ARM security

started 2017-07-04 20:33:50 UTC

2017-07-04 20:33:50 UTC

Ian Stark

0

replies

FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming

started 2017-07-04 13:51:46 UTC

2017-07-04 13:51:46 UTC

John Patrick Gallagher

0

replies

[fm-announcements] RV-CuBES Deadline Extension

started 2017-07-03 14:31:53 UTC

2017-07-03 14:31:53 UTC

Havelund, Klaus (348B)

2

replies

What's the recommended way to delete elements from list?

started 2017-07-02 12:01:18 UTC

2017-07-02 13:57:13 UTC

Chun Tian (binghe)

7

replies

Difficulties in proving the termination of a recursive function

started 2017-07-01 14:14:40 UTC

2017-07-02 05:38:42 UTC

Ramana Kumar

0

replies

PhD position in IoT

started 2017-06-28 13:46:24 UTC

2017-06-28 13:46:24 UTC

Gwen Salaün

0

replies

Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries

started 2017-06-27 04:39:02 UTC

2017-06-27 04:39:02 UTC

Bruno Woltzenlogel Paleo

1

reply

Different variable orders between GENL and Q.GENL

started 2017-06-27 01:56:50 UTC

2017-06-27 04:23:33 UTC

M***@data61.csiro.au

2

replies

[Metamath] Articles on Hale's Kepler Conjecture proof

started 2017-06-20 15:38:40 UTC

2017-06-25 17:22:16 UTC

Ken Kubota

0

replies

Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION)

started 2017-06-20 19:32:31 UTC

2017-06-20 19:32:31 UTC

Nataliia Stulova

0

replies

GCAI 2017 in Miami - Call for Papers

started 2017-06-20 17:20:30 UTC

2017-06-20 17:20:30 UTC

Geoff Sutcliffe

0

replies

SAFECOMP17 Call for Participation

started 2017-06-17 02:12:59 UTC

2017-06-17 02:12:59 UTC

Stefano Tonetta

0

replies

ITP / FLOC 2018 workshop application deadline

started 2017-06-15 18:32:35 UTC

2017-06-15 18:32:35 UTC

Jeremy Avigad