proofpower@lemma-one.com

13

replies

ProofPower and Discrete Math

started 2015-02-03 19:55:26 UTC

2018-02-10 17:23:26 UTC

Roger Bishop Jones

0

replies

Updates to the ProofPower Mathematical Case Studies

started 2017-10-14 20:04:24 UTC

2017-10-14 20:04:24 UTC

Rob Arthan

0

replies

OpenProofPower 3.1w8

started 2017-06-19 18:21:08 UTC

2017-06-19 18:21:08 UTC

Rob Arthan

7

replies

PP 3.1w7 installation problems with Fedora 24

started 2017-06-15 04:39:41 UTC

2017-06-16 20:18:48 UTC

Rob Arthan

5

replies

Setting up on macosx Sierra fails...

started 2017-05-13 08:20:01 UTC

2017-05-15 13:42:27 UTC

Rob Arthan

0

replies

Proofpower Digest, Vol 110, Issue 4

started 2017-03-05 06:29:16 UTC

2017-03-05 06:29:16 UTC

Steve Reeves

5

replies

Is this a MacOs 10.12 problem?

started 2017-03-01 11:19:53 UTC

2017-03-04 21:17:20 UTC

Rob Arthan

1

reply

Distributed concatenation symbol

started 2016-11-27 20:21:19 UTC

2016-11-27 20:48:29 UTC

Anthony Hall

7

replies

Font for SML

started 2016-10-05 00:14:08 UTC

2016-10-08 20:54:24 UTC

David Topham

0

replies

Correction to the Unicode mapping

started 2016-09-02 14:48:31 UTC

2016-09-02 14:48:31 UTC

Rob Arthan

1

reply

file conversion

started 2016-08-17 15:41:09 UTC

2016-08-19 22:39:58 UTC

Roger Bishop Jones

4

replies

ProofPower on Ubuntu 16.04

started 2016-07-19 02:15:55 UTC

2016-07-23 15:30:13 UTC

Rob Arthan

0

replies

CFP: WADT 2016

started 2016-05-09 14:44:05 UTC

2016-05-09 14:44:05 UTC

James P.D.

0

replies

Installing ProofPower on OS X El Capitain

started 2016-05-04 18:12:51 UTC

2016-05-04 18:12:51 UTC

Roger Bishop Jones

8

replies

ProofPower build on OS X

started 2016-04-29 21:17:36 UTC

2016-04-30 21:29:01 UTC

Roger Bishop Jones

4

replies

ProofPower on OS X

started 2016-04-28 15:20:11 UTC

2016-04-29 16:32:30 UTC

Roger Bishop Jones

0

replies

Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

started 2016-04-29 13:43:20 UTC

2016-04-29 13:43:20 UTC

Lin, Yuhui

0

replies

Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

started 2016-03-15 21:41:07 UTC

2016-03-15 21:41:07 UTC

Lin, Yuhui

0

replies

OpenProofPower 3.1w7

started 2016-03-14 00:06:09 UTC

2016-03-14 00:06:09 UTC

Rob Arthan

6

replies

V_cancel_rule alpha-conversion error

started 2016-03-11 14:53:45 UTC

2016-03-13 04:17:44 UTC

Rob Arthan

0

replies

xpp color highlighting

started 2016-03-12 20:31:21 UTC

2016-03-12 20:31:21 UTC

Rob Arthan

0

replies

Support for Unicode and UTF-8

started 2016-02-07 22:09:27 UTC

2016-02-07 22:09:27 UTC

Rob Arthan

2

replies

install problem: Error: Can't open display:

started 2015-12-07 18:42:11 UTC

2015-12-07 23:57:38 UTC

Lin, Yuhui

0

replies

First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

started 2015-11-30 21:20:49 UTC

2015-11-30 21:20:49 UTC

Lin, Yuhui

4

replies

tactic in backward reasoning for rewrite rules with conditions

started 2015-09-23 17:03:48 UTC

2015-09-28 19:51:52 UTC

Roger Bishop Jones

1

reply

z_app_thm

started 2015-09-09 05:06:51 UTC

2015-09-12 21:22:55 UTC

Roger Jones

0

replies

Attachments

started 2015-08-16 19:56:39 UTC

2015-08-16 19:56:39 UTC

Rob Arthan

2

replies

Literate Programming

started 2015-07-31 00:11:40 UTC

2015-08-08 20:25:27 UTC

Rob Arthan

0

replies

AVoCS 2015: Joint Call for Research Idea Papers & Participation

started 2015-07-17 15:43:43 UTC

2015-07-17 15:43:43 UTC

Lin, Yuhui

1

reply

Installation - location of Latex?

started 2015-07-05 10:02:08 UTC

2015-07-05 22:00:59 UTC

David Topham