hol-info  

Messages by Thread

• [Hol-info] Using Assumptions Dylan Melville
  • Re: [Hol-info] Using Assumptions Chun Tian (binghe)
  • Re: [Hol-info] Using Assumptions Jeremy Dawson
  • Re: [Hol-info] Using Assumptions Mario Xerxes Castelán Castro
  • Re: [Hol-info] Using Assumptions Michael.Norrish
• [Hol-info] anecdote that the spec for sorting is output is sorted AND a permutation? Black, Paul E. (Fed)
• [Hol-info] PPDP | LOPSTR | WFLP 2018 Common Call for Participation David Sabel
• [Hol-info] PhD opportunities at the ANU Michael.Norrish
• [Hol-info] Applying a theorem to a specific subgoal Dylan Melville
  • Re: [Hol-info] Applying a theorem to a specific subgoal Jeremy Dawson
  • Re: [Hol-info] Applying a theorem to a specific subgoal Heiko Becker
  • Re: [Hol-info] Applying a theorem to a specific subgoal Dylan Melville
• [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
  • Re: [Hol-info] Partial Function on lazy list Michael.Norrish
  • Re: [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
  • Re: [Hol-info] Partial Function on lazy list Michael.Norrish
  • Re: [Hol-info] Partial Function on lazy list Waqar Ahmad via hol-info
• [Hol-info] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics Tanja Gutenbrunner
• [Hol-info] iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers HaoWu
• [Hol-info] conflicts auto-resolved by Define? binghe
  • Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
  • Re: [Hol-info] conflicts auto-resolved by Define? Thomas Tuerk
  • Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
  • Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
  • Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
  • Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
  • Re: [Hol-info] conflicts auto-resolved by Define? Chun Tian (binghe)
  • Re: [Hol-info] conflicts auto-resolved by Define? Waqar Ahmad via hol-info
  • [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Chun Tian (binghe)
  • Re: [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Waqar Ahmad via hol-info
  • Re: [Hol-info] New extrealTheory (was: Re: conflicts auto-resolved by Define?) Chun Tian (binghe)
  • [Hol-info] measureTheory (was: Re: New extrealTheory) Chun Tian (binghe)
  • Re: [Hol-info] measureTheory (was: Re: New extrealTheory) Waqar Ahmad via hol-info
  • [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
  • Re: [Hol-info] HOL's new measure theory (in progress) Waqar Ahmad via hol-info
  • Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
  • Re: [Hol-info] HOL's new measure theory (in progress) Michael.Norrish
  • Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
  • Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
  • Re: [Hol-info] HOL's new measure theory (in progress) Michael.Norrish
  • Re: [Hol-info] HOL's new measure theory (in progress) Waqar Ahmad via hol-info
  • Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
• [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Chun Tian (binghe)
  • Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Thomas Tuerk
  • Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Chun Tian (binghe)
  • Re: [Hol-info] How to (automatically) change the names of quantified variables in a theorem? Konrad Slind
• [Hol-info] Term Concatenation Dylan Melville
  • Re: [Hol-info] Term Concatenation Mario Xerxes Castelán Castro
• [Hol-info] Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Matthias Güdemann
• [Hol-info] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Fabio Patrizi
• [Hol-info] Undefined references building “description.pdf” Mario Xerxes Castelán Castro
  • Re: [Hol-info] Undefined references building “description.pdf” Michael.Norrish
  • Re: [Hol-info] Undefined references building “description.pdf” Mario Xerxes Castelán Castro
• [Hol-info] PhD Position on the formalization of automated reasoning in Isabelle/HOL Jasmin Blanchette
• [Hol-info] CPP 2019: Call for Papers Magnus Myreen
• [Hol-info] INST on a theorem Dylan Melville
  • Re: [Hol-info] INST on a theorem Thomas Tuerk
  • Re: [Hol-info] INST on a theorem Dylan Melville
  • Re: [Hol-info] INST on a theorem Chun Tian (binghe)
  • Re: [Hol-info] INST on a theorem Konrad Slind
• [Hol-info] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" roberto . sebastiani
• [Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** ggelfond
  • [Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Gregory Gelfond
• [Hol-info] MESON Dylan Melville
  • Re: [Hol-info] MESON Waqar Ahmad via hol-info
  • Re: [Hol-info] MESON Petros Papapanagiotou
• [Hol-info] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Hol-info] ACTIONS@KR18: DEADLINE EXTENSION Fabio Patrizi
• [Hol-info] KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Marcello Balduccini
• [Hol-info] LPAR-22 Ethiopia - Call for Papers geoff
• [Hol-info] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 Matthias Güdemann
• [Hol-info] Second Call for Papers: FSEN 2019 Maurice ter Beek
• [Hol-info] PPDP 2018: Call for Participation David Sabel
• [Hol-info] Keyboard layout with symbols used in HOL4 Mario Xerxes Castelán Castro
• [Hol-info] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Hol-info] Mike Gordon bio Lawrence Paulson
  • [Hol-info] Type abstraction – Re: Mike Gordon bio Ken Kubota
  • Re: [Hol-info] Mike Gordon bio Mario Xerxes Castelán Castro
• [Hol-info] Adding abstraction to terms Dylan Melville
  • Re: [Hol-info] Adding abstraction to terms Mario Xerxes Castelán Castro
  • Re: [Hol-info] Adding abstraction to terms Dylan Melville
  • Re: [Hol-info] Adding abstraction to terms Thomas Tuerk
• [Hol-info] Taking universal quantification off an assumption Dylan Melville
  • Re: [Hol-info] Taking universal quantification off an assumption Mario Xerxes Castelán Castro
  • Re: [Hol-info] Taking universal quantification off an assumption Mario Xerxes Castelán Castro
  • Re: [Hol-info] Taking universal quantification off an assumption Dylan Melville
• [Hol-info] Strange tactic behavior HOL-k10 vs HOL-k12 Waqar Ahmad via hol-info
  • Re: [Hol-info] Strange tactic behavior HOL-k10 vs HOL-k12 Michael.Norrish
• [Hol-info] The Principle of Mathematical Induction – Re: [Coq-Club] I don't believe Coinduction; Please help me grok it :) Ken Kubota
• [Hol-info] String of term with type information? Yaqing Jiang
  • Re: [Hol-info] String of term with type information? Mark Adams
• [Hol-info] Tactic Dylan Melville
  • Re: [Hol-info] Tactic Mario Xerxes Castelán Castro
  • Re: [Hol-info] Tactic Dylan Melville
  • Re: [Hol-info] Tactic Heiko Becker
  • Re: [Hol-info] Tactic Konrad Slind
  • Re: [Hol-info] Tactic Freek Wiedijk
• [Hol-info] Deadline Extension for ACL2 2018 Matt Kaufmann
• [Hol-info] tacticoe Chun Tian (binghe)
  • Re: [Hol-info] tacticoe Ramana Kumar
• [Hol-info] Formalizing logical puzzles Dylan Melville
  • Re: [Hol-info] Formalizing logical puzzles Dylan Melville
  • Re: [Hol-info] Formalizing logical puzzles Jeremy Dawson
  • Re: [Hol-info] Formalizing logical puzzles Petros Papapanagiotou
  • Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
  • Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
  • Re: [Hol-info] Formalizing logical puzzles Mario Xerxes Castelán Castro
  • Re: [Hol-info] Formalizing logical puzzles Marco Maggesi
  • Re: [Hol-info] Formalizing logical puzzles Marco Maggesi
• [Hol-info] FLoC 2018 - Last Joint Call for Workshop Participation Andrzej Murawski
• [Hol-info] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Serge Autexier
• [Hol-info] FLoC 2018 - Last Call for Participation Andrzej Murawski
• [Hol-info] Kananaskis-12 release of HOL4 Michael.Norrish
• [Hol-info] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Hol-info] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
• [Hol-info] WST 2018 - Call for Participation (July 18-19, 2018) Salvador Lucas
• [Hol-info] LPAR-22 in Ethiopia - Call for Papers and Workshops geoff
• [Hol-info] LOPSTR 2018: Second Round Final Call for Papers Fred Mesnard
• [Hol-info] ACL2 2018: Second Call for Papers Matt Kaufmann
• [Hol-info] 23rd International Conference on Engineering Complex Systems - Call for Papers geoff
• [Hol-info] Final CfP: FACS'18 (15th Int'l Conference on Formal Aspects of Component Software) Peter Csaba Ölveczky
• [Hol-info] VTSA 2018: call for applications Stephan Merz
  • Re: [Hol-info] VTSA 2018: call for applications Stephan Merz
• [Hol-info] The two characteristics of an antinomy: self-reference and negation Ken Kubota
• [Hol-info] big records Ramana Kumar
  • Re: [Hol-info] big records Michael.Norrish
• [Hol-info] Loops in HOL4 尚亚龙
  • Re: [Hol-info] Loops in HOL4 Waqar Ahmad via hol-info
  • Re: [Hol-info] Loops in HOL4 尚亚龙
  • Re: [Hol-info] Loops in HOL4 Thomas Tuerk
  • Re: [Hol-info] Loops in HOL4 尚亚龙
  • Re: [Hol-info] Loops in HOL4 Chun Tian
  • Re: [Hol-info] Loops in HOL4 尚亚龙
• [Hol-info] Type Theory vs. Set Theory (HOL, Isabelle/HOL, Q0, and R0 vs. ZFC) – Re: [Metamath] [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument) Ken Kubota
  • Re: [Hol-info] Type Theory vs. Set Theory (HOL, Isabelle/HOL, Q0, and R0 vs. ZFC) – Re: [Metamath] [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument) Mario Xerxes Castelán Castro
  • Re: [Hol-info] Type Theory vs. Set Theory (HOL, Isabelle/HOL, Q0, and R0 vs. ZFC) – Re: [Metamath] [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument) Ken Kubota
• [Hol-info] POPL 2019 - Call for Workshops and Co-located Events Michael Greenberg
• [Hol-info] POPL 2019 Call for Papers Michael Greenberg
• [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
  • Re: [Hol-info] On equivalence of two definitions of PERMUTES Michael.Norrish
  • Re: [Hol-info] On equivalence of two definitions of PERMUTES Chun Tian
• [Hol-info] [2nd Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
• [Hol-info] INVERSE of function? Chun Tian
  • Re: [Hol-info] INVERSE of function? Jeremy Dawson
  • Re: [Hol-info] INVERSE of function? Chun Tian (binghe)
• [Hol-info] First Call for Papers: FSEN 2019 Maurice ter Beek
• [Hol-info] CASC-J9 - the ATP System Competition geoff
• [Hol-info] LOPSTR 2018: Second Round Call for Papers Fred Mesnard
• [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
  • Re: [Hol-info] Reverse Function on LazyLists Michael.Norrish
  • Re: [Hol-info] Reverse Function on LazyLists Waqar Ahmad via hol-info
• [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian (binghe)
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Chun Tian
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Ashish Darbari
  • Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem Michael.Norrish
• [Hol-info] FLoC 2018: Programme now live and accommodation booking fast Andrzej Murawski
• [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
  • Re: [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
  • [Hol-info] Memorial scientific session for Mike Gordon at FLoC. Thomas Melham
• [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Michael.Norrish
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Thomas Tuerk
  • Re: [Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4 Chun Tian
• [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Makarius
  • [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Ramana Kumar
  • Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
  • Re: [Hol-info] Generated machine code of Poly/ML Mario Xerxes Castelán Castro
  • Re: [Hol-info] Generated machine code of Poly/ML Chun Tian
• [Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Umair Siddique
• [Hol-info] WADT 2018 & Leverhulme School - New extension to abstract submission deadline! WADT 2018
• [Hol-info] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Hol-info] Failure "new_definition: Type variables not reflected in constant". Ayesha Gauhar via hol-info
  • Re: [Hol-info] Failure "new_definition: Type variables not reflected in constant". Umair Siddique
• [Hol-info] Final CfP CME-EI at CICM Walther Neuper
• [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Michael.Norrish
  • Re: [Hol-info] Extension of Co-algebraic Datatype Waqar Ahmad via hol-info
  • Re: [Hol-info] Extension of Co-algebraic Datatype Chun Tian (binghe)
• [Hol-info] CfP: Formal Aspects of Component Software (FACS'18) Peter Csaba Ölveczky
• [Hol-info] [Vardi-list] FLoC 2018 - Call for Participation Moshe Vardi
• [Hol-info] Second round call for papers: LOPSTR 2018 Peter James Stuckey
• [Hol-info] FMICS Call for Papers HaoWu
• [Hol-info] CFP: 9th International Summer School on Information Security and Protection Michael.Norrish
• [Hol-info] PhD studentship on the CakeML project (University of Kent) Scott Owens

• Earlier messages
• Later messages