Messages by Date
-
2018/01/08
Re: [Hol-info] REWRITE_RULE
Michael Beeson
-
2018/01/08
[Hol-info] REWRITE_RULE
Michael Beeson
-
2018/01/08
[Hol-info] ABZ 2018, Call for Contributions
Asieh Salehi
-
2018/01/07
Re: [Hol-info] INST
Mark Adams
-
2018/01/07
Re: [Hol-info] INST
Konrad Slind
-
2018/01/07
[Hol-info] The Alonzo Church Award: Call for Nominations
Catuscia Palamidessi
-
2018/01/07
[Hol-info] KR18 - Call for Tutorial and Workshop Proposals
Marcello Balduccini
-
2018/01/07
[Hol-info] POPL tutorial on Isabelle/HOL's codatatypes and corecursion
Andrei Popescu
-
2018/01/07
[Hol-info] INST
Michael Beeson
-
2018/01/07
[Hol-info] CFP: International Conference on Logic Programming 2018
epontell
-
2018/01/07
[Hol-info] FLoC 2018 - Final Joint Call for Papers
Andrzej Murawski
-
2018/01/05
Re: [Hol-info] working proof that shouldn't need to be so complicated
Jeremy Dawson
-
2018/01/05
Re: [Hol-info] working proof that shouldn't need to be so complicated
Petros Papapanagiotou
-
2018/01/05
[Hol-info] working proof that shouldn't need to be so complicated
Michael Beeson
-
2018/01/05
Re: [Hol-info] SPEC and ISPEC
Heiko Becker
-
2018/01/04
[Hol-info] SPEC and ISPEC
Michael Beeson
-
2017/12/27
[Hol-info] LOPSTR 2018: First Call for Papers
Fred Mesnard
-
2017/12/27
[Hol-info] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018)
Rob van Glabbeek and Wendelin Serwe
-
2017/12/27
[Hol-info] RuleML+RR 2018 - Call for Papers
geoff
-
2017/12/27
[Hol-info] CAV 2018 - 2nd Call for Papers
no-reply
-
2017/12/23
Re: [Hol-info] How to build only hol.bare?
Mario Castelán Castro
-
2017/12/23
Re: [Hol-info] How to build only hol.bare?
Michael.Norrish
-
2017/12/21
[Hol-info] How to build only hol.bare?
Mario Castelán Castro
-
2017/12/20
Re: [Hol-info] The origin of the HOL4 logo
Michael.Norrish
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Liu Gengyang
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Liu Gengyang
-
2017/12/19
Re: [Hol-info] Can not build documentation because building polyscripter fails
Mario Castelán Castro
-
2017/12/19
[Hol-info] Can not build documentation because building polyscripter fails
Mario Castelán Castro
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Mario Castelán Castro
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Thomas Tuerk
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Mario Castelán Castro
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Mario Castelán Castro
-
2017/12/19
Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Mario Castelán Castro
-
2017/12/19
[Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses?
Liu Gengyang
-
2017/12/18
Re: [Hol-info] The origin of the HOL4 logo
Mario Castelán Castro
-
2017/12/17
Re: [Hol-info] The origin of the HOL4 logo
Michael.Norrish
-
2017/12/15
[Hol-info] Postdoc in Logic and Formal Methods at Carnegie Mellon
Jeremy Avigad
-
2017/12/14
Re: [Hol-info] The origin of the HOL4 logo
Mario Castelán Castro
-
2017/12/14
Re: [Hol-info] The origin of the HOL4 logo
Konrad Slind
-
2017/12/14
[Hol-info] The origin of the HOL4 logo
Mario Castelán Castro
-
2017/12/14
Re: [Hol-info] Representation of functions with explicit domain
Mario Castelán Castro
-
2017/12/12
Re: [Hol-info] Representation of functions with explicit domain
John Harrison
-
2017/12/09
Re: [Hol-info] Representation of functions with explicit domain
Mario Castelán Castro
-
2017/12/08
[Hol-info] Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA)
Berardi Stefano
-
2017/12/08
[Hol-info] CFP: International Conference on Logic Programming 2018
Enrico Pontelli
-
2017/12/05
[Hol-info] Interactive Theorem Proving (ITP) 2018: Second CFP
Jeremy Avigad
-
2017/12/05
Re: [Hol-info] Representation of functions with explicit domain
Mario Castelán Castro
-
2017/12/05
[Hol-info] Call for bids to host ITP 2019
Jeremy Avigad
-
2017/12/05
[Hol-info] FLoC 2018 - Second Joint Call for Papers
Andrzej Murawski
-
2017/12/05
[Hol-info] IJCAR 2018 - Call for Papers
geoff
-
2017/12/05
Re: [Hol-info] Representation of functions with explicit domain
Michael.Norrish
-
2017/12/05
[Hol-info] Representation of functions with explicit domain
Mario Castelán Castro
-
2017/12/04
[Hol-info] CPP 2018 Call for participation: early registration deadline December 10
Amy Felty
-
2017/12/04
[Hol-info] WiL 2018: 2nd Women in Logic Workshop Call for Papers
Amy Felty
-
2017/12/04
[Hol-info] STAF 2018: Call for Workshop
Manuel Mazzara via hol-info
-
2017/12/04
Re: [Hol-info] Proof about sorting
Liu Gengyang
-
2017/12/03
Re: [Hol-info] Proof about sorting
Michael.Norrish
-
2017/12/03
Re: [Hol-info] Proof about sorting
Liu Gengyang
-
2017/12/03
Re: [Hol-info] Proof about sorting
Jeremy Dawson
-
2017/12/03
Re: [Hol-info] Proof about sorting
Michael.Norrish
-
2017/12/03
[Hol-info] Proof about sorting
Liu Gengyang
-
2017/12/01
[Hol-info] KR18 - Call for Tutorial and Workshop Proposals
Marcello Balduccini
-
2017/12/01
[Hol-info] CFP TAP 2018
Burkhart Wolff
-
2017/11/25
[Hol-info] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
John Patrick Gallagher
-
2017/11/24
[Hol-info] Artificial Intelligence and Theorem Proving 2018 - Call for Papers
geoff
-
2017/11/22
[Hol-info] NFM 2018 - Call for Papers
Jasmin Blanchette
-
2017/11/21
[Hol-info] [fm-announcements] NFM 2018 - Final Call for Papers
Munoz, Cesar (LARC-D320)
-
2017/11/19
[Hol-info] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh
Jeremy Avigad
-
2017/11/15
[Hol-info] LATA 2018: extended submission deadline November 24
GRLMC
-
2017/11/15
[Hol-info] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science
Walter Guttmann
-
2017/11/15
[Hol-info] Logical Frameworks and Meta-Languages 2018 - Call for Papers
geoff
-
2017/11/14
[Hol-info] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
John Patrick Gallagher
-
2017/11/14
[Hol-info] KR 2018 Call for Papers
Marcello Balduccini
-
2017/11/08
Re: [Hol-info] A problem of derivation
Liu Gengyang
-
2017/11/08
Re: [Hol-info] A problem of derivation
Liu Gengyang
-
2017/11/08
Re: [Hol-info] A problem of derivation
Thomas Tuerk
-
2017/11/08
[Hol-info] FW: A problem of derivation
Michael.Norrish
-
2017/11/08
[Hol-info] A problem of derivation
Liu Gengyang
-
2017/11/08
[Hol-info] TPNC 2017: call for posters
GRLMC
-
2017/11/08
[Hol-info] IJCAR 2018 - Call for Papers
geoff
-
2017/11/04
[Hol-info] CiE 2018: First Call for Papers
Florin Manea
-
2017/11/02
[Hol-info] Installation of HOL Light on mac
David Mao
-
2017/11/02
[Hol-info] LATA 2018: 3rd call for papers
GRLMC
-
2017/10/31
[Hol-info] CfP: NETYS 2018, Int. Conf. on Net. Sys., May 2018, Essaouira, Morocco, Deadline: January 21, 2018
yahya benkaouz
-
2017/10/31
[Hol-info] FLoC 2018 - Joint Call for Papers
Andrzej Murawski
-
2017/10/31
Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations?
Mario Castelán Castro
-
2017/10/30
Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations?
Michael.Norrish
-
2017/10/30
Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations?
Mario Castelán Castro
-
2017/10/30
[Hol-info] TPNC 2017: call for posters
GRLMC
-
2017/10/30
[Hol-info] CAV 2018 - Call for Papers
geoff
-
2017/10/30
Re: [Hol-info] How to define term-like multi-recursive structures?
Chun Tian
-
2017/10/30
[Hol-info] Data61 Seeking Research Scientist
Ramana Kumar
-
2017/10/30
[Hol-info] Data61 Seeking Proof Engineers
Ramana Kumar
-
2017/10/29
Re: [Hol-info] build failed with latest HOL
Waqar Ahmad via hol-info
-
2017/10/29
Re: [Hol-info] build failed with latest HOL
Michael.Norrish
-
2017/10/29
Re: [Hol-info] How to define term-like multi-recursive structures?
Michael.Norrish
-
2017/10/29
Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations?
Michael.Norrish
-
2017/10/28
[Hol-info] Can the simplifier from simpLib normalize symmetric relations?
Mario Castelán Castro
-
2017/10/28
[Hol-info] build failed with latest HOL
Waqar Ahmad via hol-info
-
2017/10/27
Re: [Hol-info] How to define term-like multi-recursive structures?
Chun Tian
-
2017/10/27
Re: [Hol-info] How to define term-like multi-recursive structures?
Chun Tian
-
2017/10/26
Re: [Hol-info] How to define term-like multi-recursive structures?
Michael.Norrish
-
2017/10/26
Re: [Hol-info] How to define term-like multi-recursive structures?
Chun Tian (binghe)
-
2017/10/26
Re: [Hol-info] How to define term-like multi-recursive structures?
Chun Tian (binghe)
-
2017/10/25
Re: [Hol-info] How to define term-like multi-recursive structures?
Michael.Norrish
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Mario Castelán Castro
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Michael.Norrish
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Mario Castelán Castro
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Michael.Norrish
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Mario Castelán Castro
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Chun Tian
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Mario Castelán Castro
-
2017/10/25
Re: [Hol-info] About building time and using HOL4 development version
Chun Tian
-
2017/10/25
[Hol-info] About building time and using HOL4 development version
Mario Castelán Castro
-
2017/10/25
[Hol-info] How to define term-like multi-recursive structures?
Chun Tian (binghe)
-
2017/10/23
[Hol-info] CfP: Models for Formal Analysis of Real Systems (MARS 2018)
Rob van Glabbeek and Wendelin Serwe
-
2017/10/23
[Hol-info] KR18 - Call for Tutorial and Workshop Proposals
Marcello Balduccini
-
2017/10/23
[Hol-info] CiE 2018: Preliminary announcement
Florin Manea
-
2017/10/23
[Hol-info] CAV 2018: Call for papers
no-reply
-
2017/10/23
Re: [Hol-info] Small question about sqrt
Liu Gengyang
-
2017/10/23
Re: [Hol-info] Small question about sqrt
Liu Gengyang
-
2017/10/23
Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures
Chun Tian
-
2017/10/23
Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures
Konrad Slind
-
2017/10/23
[Hol-info] On the order of "variable" substitutions in lists or recursive structures
Chun Tian
-
2017/10/23
Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List)
Chun Tian
-
2017/10/22
Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List)
Michael.Norrish
-
2017/10/22
Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates
Mario Castelán Castro
-
2017/10/22
Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates
Michael.Norrish
-
2017/10/22
Re: [Hol-info] Small question about sqrt
Michael.Norrish
-
2017/10/22
Re: [Hol-info] Spurious parent theories
Mario Castelán Castro
-
2017/10/22
Re: [Hol-info] Spurious parent theories
Michael.Norrish
-
2017/10/22
Re: [Hol-info] Spurious parent theories
Mario Castelán Castro
-
2017/10/22
Re: [Hol-info] Small question about sqrt
Ramana Kumar
-
2017/10/22
Re: [Hol-info] Spurious parent theories
Konrad Slind
-
2017/10/22
[Hol-info] Spurious parent theories
Mario Castelán Castro
-
2017/10/20
[Hol-info] res_quanLib and res_quanTools are exact duplicates
Mario Castelán Castro
-
2017/10/20
Re: [Hol-info] How to express the elements in a list are all identical?
Mario Castelán Castro
-
2017/10/20
[Hol-info] Small question about sqrt
Liu Gengyang
-
2017/10/19
Re: [Hol-info] How to express the elements in a list are all identical?
Chun Tian
-
2017/10/19
Re: [Hol-info] How to express the elements in a list are all identical?
Mario Castelán Castro
-
2017/10/19
Re: [Hol-info] How to express the elements in a list are all identical?
Mario Castelán Castro
-
2017/10/19
Re: [Hol-info] How to express the elements in a list are all identical?
Mario Castelán Castro
-
2017/10/19
[Hol-info] How to express the elements in a list are all identical?
Chun Tian
-
2017/10/17
[Hol-info] LATA 2018: 2nd call for papers
GRLMC
-
2017/10/17
[Hol-info] CFP: International Conference on Logic Programming 2018; First Call for Papers
NMSU COMPUTER SCIENCE
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Michael.Norrish
-
2017/10/16
Re: [Hol-info] line wrap length in hol-mode
Mario Castelán Castro
-
2017/10/16
Re: [Hol-info] line wrap length in hol-mode
Michael.Norrish
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Mario Castelán Castro
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Chun Tian
-
2017/10/16
[Hol-info] line wrap length in hol-mode
Mario Castelán Castro
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Mario Castelán Castro
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Chun Tian (binghe)
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Mario Castelán Castro
-
2017/10/16
Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Mario Castelán Castro
-
2017/10/16
[Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Chun Tian (binghe)
-
2017/10/16
Re: [Hol-info] Converting ordinals from different type variables?
Chun Tian (binghe)
-
2017/10/15
[Hol-info] CFP: ITP 2018
Jeremy Avigad
-
2017/10/15
Re: [Hol-info] Converting ordinals from different type variables?
Michael.Norrish
-
2017/10/15
Re: [Hol-info] What is the purpose of labels?
Mario Castelán Castro
-
2017/10/15
Re: [Hol-info] What is the purpose of labels?
Michael.Norrish
-
2017/10/15
[Hol-info] Converting ordinals from different type variables?
Chun Tian
-
2017/10/14
Re: [Hol-info] What is the purpose of labels?
Mario Castelán Castro
-
2017/10/14
[Hol-info] What is the purpose of labels?
Mario Castelán Castro
-
2017/10/13
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Mario Castelán Castro
-
2017/10/12
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Michael.Norrish
-
2017/10/12
[Hol-info] The 2018 Federated Logic Conference - Workshop Announcement
Andrzej Murawski
-
2017/10/12
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Chun Tian
-
2017/10/12
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Mario Castelán Castro
-
2017/10/12
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Chun Tian
-
2017/10/12
Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Chun Tian
-
2017/10/12
[Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Chun Tian
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Chun Tian (binghe)
-
2017/10/11
[Hol-info] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines
Munoz, Cesar (LARC-D320)
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Chun Tian (binghe)
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Ramana Kumar
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Ramana Kumar
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Michael.Norrish
-
2017/10/11
Re: [Hol-info] What's the recommended way to delete elements from list?
Chun Tian
-
2017/10/10
[Hol-info] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP
vlad
-
2017/10/10
[Hol-info] SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
John Patrick Gallagher
-
2017/10/10
[Hol-info] IJCAR 2018 - Call for Papers
geoff
-
2017/10/10
[Hol-info] Artificial Intelligence and Theorem Proving - Call for Papers
geoff
-
2017/10/10
[Hol-info] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
John Patrick Gallagher
-
2017/10/10
Re: [Hol-info] Is ``:string ordinal`` uncountable or not?
Chun Tian (binghe)
-
2017/10/09
Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems
Chun Tian
-
2017/10/09
Re: [Hol-info] [ExternalEmail] Re: Is ``:string ordinal`` uncountable or not?
Michael.Norrish
-
2017/10/09
Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems
Michael.Norrish
-
2017/10/09
Re: [Hol-info] Is ``:string ordinal`` uncountable or not?
Michael.Norrish
-
2017/10/09
[Hol-info] Is ``:string ordinal`` uncountable or not?
Chun Tian
-
2017/10/09
Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems
Chun Tian
-
2017/10/09
Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems
Konrad Slind
-
2017/10/09
Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems
Chun Tian (binghe)
-
2017/10/09
[Hol-info] The use of optionTheory for representing invisible actions in transition systems
Chun Tian (binghe)
-
2017/10/06
Re: [Hol-info] Definitions of partial functions (incl. predicates)
Mario Castelán Castro
-
2017/10/06
Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems
Mario Castelán Castro
-
2017/10/05
Re: [Hol-info] Definitions of partial functions (incl. predicates)
Ramana Kumar
-
2017/10/05
Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list?
Chun Tian (binghe)
-
2017/10/05
Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list?
Ramana Kumar
-
2017/10/05
[Hol-info] Definitions of partial functions (incl. predicates)
Mario Castelán Castro