Messages by Thread
-
[ProofPower] FSEN 2025 - Final Call for Papers
Petra van den Bos
-
[ProofPower] Building ProofPower on Apple Silicon
Rob Arthan
-
[ProofPower] FSEN 2025 - 2nd Call for Papers
Petra van den Bos
-
[ProofPower] FSEN 2025 - Call for Papers
Bos, Petra van den (UT-EEMCS)
-
[ProofPower] Test
Rob Arthan
-
Re: [ProofPower] Existential Elimination
David Topham
-
[ProofPower] Law of Cases
David Topham
-
[ProofPower] ∃_elim
David Topham
-
[ProofPower] HOLCONST
David Topham
-
Re: [ProofPower] Proofpower Digest, Vol 120, Issue 1
David Topham
-
[ProofPower] Testing, testing
Rob Arthan
-
Re: [ProofPower] Proofpower Digest, Vol 119, Issue 1
David Topham
-
[ProofPower] ProofPower output
David Topham
-
[ProofPower] Fwd: Job Opportunity at D-RisQ
Rob Arthan
-
[ProofPower] Updates to the ProofPower Mathematical Case Studies
Rob Arthan
-
[ProofPower] PP 3.1w7 installation problems with Fedora 24
Mark Adams
-
[ProofPower] Setting up on macosx Sierra fails...
Hugh Anderson
-
Re: [ProofPower] Proofpower Digest, Vol 110, Issue 4
Steve Reeves
-
[ProofPower] Is this a MacOs 10.12 problem?
Steve Reeves
-
[ProofPower] Distributed concatenation symbol
Rob Arthan
-
[ProofPower] Font for SML
David Topham
-
[ProofPower] Correction to the Unicode mapping
Rob Arthan
-
[ProofPower] file conversion
Roger Bishop Jones
-
[ProofPower] ProofPower on Ubuntu 16.04
Roger Bishop Jones
-
[ProofPower] CFP: WADT 2016
James P . D .
-
[ProofPower] Installing ProofPower on OS X El Capitain
Roger Bishop Jones
-
[ProofPower] ProofPower build on OS X
Roger Bishop Jones
-
[ProofPower] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[ProofPower] ProofPower on OS X
Roger Bishop Jones
-
[ProofPower] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[ProofPower] V_cancel_rule alpha-conversion error
David Topham
-
[ProofPower] xpp color highlighting
David Topham
-
[ProofPower] Support for Unicode and UTF-8
Rob Arthan
-
[ProofPower] install problem: Error: Can't open display:
Lin, Yuhui
-
[ProofPower] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[ProofPower] xpp problem on MacPorts OpenMotif
Rob Arthan
-
[ProofPower] tactic in backward reasoning for rewrite rules with conditions
Lin, Yuhui
-
[ProofPower] z_app_thm
Phil Clayton
-
[ProofPower] Attachments
Rob Arthan
-
[ProofPower] Literate Programming
David Topham
-
[ProofPower] AVoCS 2015: Joint Call for Research Idea Papers & Participation
Lin, Yuhui
-
[ProofPower] Installation - location of Latex?
David Topham
-
[ProofPower] Hard copy manuals
Roger Bishop Jones
-
Re: [ProofPower] Issue in compiling OpenProofPower-3.1w5 on Xubuntu (Ubuntu) 14.04 LTS
Rob Arthan
-
[ProofPower] AVoCS 2015: Extended Paper Deadline
YuHui Lin
-
[ProofPower] apply conditional rewriting
YuHui Lin
-
[ProofPower] error msg when instantiating quantifier in asm
YuHui Lin
-
[ProofPower] Question about installation.
Robert White
-
[ProofPower] AVoCS 2015: Final Call for Papers
YuHui Lin
-
[ProofPower] AI4FM 2015: Call for Short Contributions
Iain Whiteside
-
Re: [ProofPower] OpenProofPower 3.1w5
Phil Clayton
-
[ProofPower] building error and solution regarding the x11 path for Mac
YuHui Lin
-
Re: [ProofPower] Equational logic
David Topham
-
Re: [ProofPower] Proofpower Digest, Vol 91, Issue 10
dtopham
-
[ProofPower] ProofPower (and xpp) is a great program!
David Topham
-
[ProofPower] Updated Unicode translation scheme
Rob Arthan
-
[ProofPower] AVoCS 2015: Second Call for Papers
YuHui Lin
-
[ProofPower] Predicate Calculus
David Topham
-
[ProofPower] Unicode and ProofPower
Rob Arthan
-
Re: [ProofPower] ProofPower PrettyPrinter
Rob Arthan
-
[ProofPower] ProofPower and Discrete Math
David Topham
-
[ProofPower] AVoCS 2015: First Call for Papers
YuHui Lin
-
Re: [ProofPower] Proofpower Digest, Vol 88, Issue 8
David Topham
-
[ProofPower] Can QCheck work in xpp?
David Topham