mbox by thread

• Most recent messages
• Messages sorted by: [ date ][ subject ][ author ]
• Other mail archives

Starting: Sat 15 Apr 1995 - 08:42:45 CST
Ending: Mon 25 Mar 1996 - 00:00:-54724 CST
Messages: 141

• QED Workshop II Roman Matuszewski
• Paper on reflection John Harrison
• QED Workshop II Roman Matuszewski
• Paper on reflection David McAllester
• QED Workshop. Jan Friso Groote
  • Re: QED Workshop. ma_friesel@gate.pnl.gov
  • Paper on reflection David McAllester
  • Re: QED Workshop. John Harrison
• Re[2]: Paper on reflection ma_friesel@gate.pnl.gov
• Re: QED Workshop. shepherd_david/uk_bristo_br@brx001.inmos.co.uk
• Effective ? Jan Friso Groote
• Isabelle users workshop Lawrence C Paulson
• Re[2]: QED Workshop. ma_friesel@ccmail.pnl.gov
• Probabilistic Proofs Eric Inman
• contact req. Larry Wos
  • Re: contact req. Johann Schumann
• Paper on reflection David McAllester
  • Re: Paper on reflection Roger Bishop Jones
  • Re: Paper on reflection John Harrison
  • Re: Paper on reflection Randy Pollack
  • Re: Paper on reflection Konrad Slind
  • Re: Paper on reflection Roger Bishop Jones
  • Re: Paper on reflection John Harrison
  • Re: Paper on reflection rv_harris@ccmail.pnl.gov
  • Re: Paper on reflection John Harrison
• QED Workshop 2 - Cooperation of Automated and Interactive Theorem Provers Bernd Ingo Dahn
• Undefined terms Randall Holmes
  • Re: Undefined terms John Harrison
  • Re: Undefined terms Matt Kaufmann
  • Re: Undefined terms Randall Holmes
  • Re: Undefined terms Randall Holmes
  • Re: Undefined terms trybulec@cksr.ac.bialystok.pl
  • Re: Undefined terms John Harrison
  • Re: Undefined terms Benjamin Price Shults
  • Re: Undefined terms Matt Kaufmann
  • Re: Undefined terms Benjamin Price Shults
  • Re: Undefined terms Matt Kaufmann
  • Re: Undefined terms Benjamin Price Shults
  • Re: Undefined terms John Harrison
  • Re: Undefined terms Malcolm Newey
  • Re: Undefined terms John Harrison
• Natural Language Output for Your Theorem Prover? Bernd Ingo Dahn
• To type or not to type Piotr Rudnicki
• URI Support Program Rusty Lusk
• QED-WS Integration of existing code kerber@cs.uni-sb.de
• Coq V5.10 Release Coq Team
• "Types are Not Harmless" lamport@pa.dec.com
• letter from Olga! =) romance@in.the.former.USSR.ua
• paper available Lawrence C Paulson
• QED Workshop II Roman Matuszewski
  • Re: QED Workshop II Roderick Moten
• about the proof of the CheckerBoard Problem Rusty Lusk
• [Richard Waldinger: Re: about the proof of the CheckerBoard Problem] Rusty Lusk
  • Re: about the proof of the CheckerBoard Problem Geoff Sutcliffe
• Re: about the proof of the CheckerBoard Problem (fwd) Geoff Sutcliffe
• Re: Hierarchy of theorem provers Bernd Ingo Dahn
• FM9001 Release Announcement Warren A. Hunt Jr.
• Meta-logic Randall Holmes
• QED Framework Bernd Ingo Dahn
• CADE-13 Call for Papers Johann Schumann
• Abstracts from the latest issue of JAR Deepak Kapur
• Announcing the Availability of More Nqthm-Checked Theorems Robert S. Boyer
• CADE-13 Call for Workshops (text & LaTeX) Amy Felty
• CADE-13 Call for Tutorials (text & LaTeX) Amy Felty
• ACL2 J Strother Moore
• DAC 1996 - Special Topics Session on Functional Design Verification Raj Raina
• Call for Papers, RTA-96 David Plaisted
• unsubscribe Lyle Burkhead
• unsubscribe Lyle Burkhead
• Abstracts from J. of Automated Reasoning, Vol. 15, No. 2 Deepak Kapur
• abstracts from J. of Automated Reasoning, Vol. 15, No. 3 Deepak Kapur
• Workshop Wolfgang Jaksch
• URGENT: Workshop Proposal ECAI96 Wolfgang Jaksch
• subscribe Roberto Sebastiani
• Nuprl release. Richard Eaton
• PRA implementation Randall Holmes
• PRA Randall Holmes
• Re: PRA implementation Victor Yodaiken
• CADE-14 Program Chair Geoff Sutcliffe
• JAR special issue CFP: Computer Algebra & Automated Theorem Proving Dongming Wang
• QED II - final report - available Roman Matuszewski
• proof double checking and verified compilers William McCune
• CADE-13 Second Call for Papers (text & LaTeX) Amy Felty
• QED links to QED people William McCune
  • Re: QED links to QED people Manfred Kerber
• QED Archives on WWW? Roger Bishop Jones
• QED Archives on WWW? Rusty Lusk
• QED Archives on WWW? Rusty Lusk
• Formal Methods in Computer-Aided Design (FMCAD'96) srivas
• Formal Methods in Computer-Aided Design (FMCAD'96) srivas
• CfP (Theorem Proving in Higher Order Logics) - LaTeX version Jockum von Wright IB
• Web page for 1996 International Conference on Theorem Proving in Higher Order Logics John Harrison
• Call for written contributions D.W.Loveland
• Furure developments Bernd Ingo Dahn
• HTML manifesto Roger Bishop Jones
• PhD Scholarships at Chalmers, Gothenburg Henrik Persson
• REMINDER FINAL CFP FOR DISCO'96 Karsten Homann
• REMINDER FINAL CFP FOR DISCO'96 Andreas Wolf
• 2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (ASCII) Jim Grundy
• 2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (LaTeX) Jim Grundy
• (no subject) Matthias Brucke
• (no subject) Matthias Brucke
• (no subject) Matthias Brucke
• unsubscribe Frank Lesske
• QED and OpenMath Roger Bishop Jones
  • Re: QED and OpenMath Yozo Toda
• practical Proof Checking systems MAKV@delphi.com
  • Re: practical Proof Checking systems John Harrison
  • Re: practical Proof Checking systems John McCarthy
• Paper on formalized mathematics available John Harrison
• Paper on formalized mathematics available (no name)
• Requirements for QEDL MAKV@delphi.com
• new software verification e-mail list Paul E. Black
• Q: Systems for Algebraic/ Structural Reasoning Florian Kammueller
  • Re: Q: Systems for Algebraic/ Structural Reasoning Vaughan Pratt
  • Re: Q: Systems for Algebraic/ Structural Reasoning Vaughan Pratt
  • Re: Q: Systems for Algebraic/ Structural Reasoning Paul Jackson
  • Re: Q: Systems for Algebraic/ Structural Reasoning Ruslan Shevchenko
  • Re: Q: Systems for Algebraic/ Structural Reasoning N.G. De Bruijn
• The Russel paradox and the VEDA system MAKV@delphi.com
• Q:Systems for Algebraic/Structural Reasoning N.G. De Bruijn
• Re: The Russel paradox and the VEDA system Ruslan Shevchenko
• Inference rules in the Veda system MAKV@delphi.com
  • Re: Inference rules in the Veda system Lawrence C Paulson
  • Re: Inference rules in the Veda system Vaughan Pratt
• Re: Inference rules in the Veda system Andrzej Trybulec
• Status of dimacs benchmarks JanFriso.Groote@cwi.nl
• Toward a common syntax for writing proofs MAKV@delphi.com
  • Re: Toward a common syntax for writing proofs Bernd Ingo Dahn
• Re: Toward a common syntax for writing proofs David Musser
• Re: Toward a common syntax for writing proofs Ilya Beylin
• Re: Toward a common syntax for writing proofs bshults@fireant.ma.utexas.edu
• practical Proof Checking Lawrence C Paulson
• Mechanization of category theory Clemens Ballarin
  • Re: Mechanization of category theory Vaughan Pratt
  • Re: Mechanization of category theory Roger Bishop Jones
  • Re: Mechanization of category theory Bernd Ingo Dahn
  • Re: Mechanization of category theory HAGIYA Masami
  • Re: Mechanization of category theory David Rydeheard
  • Re: Mechanization of category theory Amokrane Saibi
• Formalised Mathematics Roger Bishop Jones

Last message date: Mon 25 Mar 1996 - 00:00:-54724 CST
Archived on: Tue Apr 02 1996 - 16:17:08 CST

• Messages sorted by: [ date ][ subject ][ author ]
• Other mail archives