Cl-isabelle-users February 2021 Archives by date
- Mon, 01 Feb 2021
- Tue, 02 Feb 2021
- Wed, 03 Feb 2021
- Thu, 04 Feb 2021
- Fri, 05 Feb 2021
- Sun, 07 Feb 2021
- Mon, 08 Feb 2021
- Tue, 09 Feb 2021
- Wed, 10 Feb 2021
- Thu, 11 Feb 2021
- Fri, 12 Feb 2021
- Sat, 13 Feb 2021
- Sun, 14 Feb 2021
- Mon, 15 Feb 2021
- Tue, 16 Feb 2021
- [isabelle] Open pdf files from Isabelle File Browser - Peter Koepke, koepke at math.uni-bonn.de
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Mathias Fleury, mathias.fleury12 at gmail.com
- Re: [isabelle] Open pdf files from Isabelle File Browser - Makarius, makarius at sketis.net
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Makarius, makarius at sketis.net
- Re: [isabelle] Rewrites for a sublocale with UNIV as the carrier set - Lukas Stevens, lukas.stevens+isabelle-users at in.tum.de
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Eugene W. Stark, isabelle-users at starkeffect.com
- Re: [isabelle] Weird nesting of Quantifiers - Peter Lammich, lammich at in.tum.de
- [isabelle] Conflict of type arities: What are the constraints on class instantiations? - Peter Lammich, lammich at in.tum.de
- Re: [isabelle] Conflict of type arities: What are the constraints on class instantiations? - Tobias Nipkow, nipkow at in.tum.de
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Mathias Fleury, mathias.fleury12 at gmail.com
- [isabelle] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security - Ekaterina Komendantskaya, komendantskaya at gmail.com
- Re: [isabelle] Conflict of type arities: What are the constraints on class instantiations? - Jakub Kądziołka, kuba at kadziolka.net
- Wed, 17 Feb 2021
- Fri, 19 Feb 2021
- Sat, 20 Feb 2021
- [isabelle] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021 - Serge Autexier, serge.autexier at dfki.de
- Re: [isabelle] Predicate Compiler fails with "No specification for ..." - Tobias Nipkow, nipkow at in.tum.de
- Re: [isabelle] Relation of function absent from Main - Tobias Nipkow, nipkow at in.tum.de
- [isabelle] Request for TTP and PTT Interfaces - Jens-D. Doll, jens.doll at live.de
- [isabelle] First day with HOL/Isabelle - McCue, Brian, brian.mccue at snhu.edu
- Re: [isabelle] Predicate Compiler fails with "No specification for ..." - Florian Märkl, isabelle-users at florianmaerkl.de
- Re: [isabelle] Relation of function absent from Main - Dmitriy Traytel, traytel at di.ku.dk
- Sun, 21 Feb 2021
- Mon, 22 Feb 2021
- Tue, 23 Feb 2021
- Wed, 24 Feb 2021
- Re: [isabelle] Berghofer's program extraction mechanism and code generation - Tjark Weber, tjark.weber at it.uu.se
- [isabelle] Error in DockerHub documentation - Boris Shminke via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- [isabelle] Bill McCune PhD Award in Automated Reasoning, Call for Nominations - Pascal Fontaine, Pascal.Fontaine at inria.fr
- [isabelle] New in the AFP: Formal Puiseux Series - Lawrence Paulson, lp15 at cam.ac.uk
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Wenda Li, wl302 at cam.ac.uk
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Freek Wiedijk, freek at cs.ru.nl
- [isabelle] AFP instructions - Stepan Holub, holub at karlin.mff.cuni.cz
- Re: [isabelle] Error in DockerHub documentation - Makarius, makarius at sketis.net
- Re: [isabelle] AFP instructions - Makarius, makarius at sketis.net
- Re: [isabelle] AFP instructions - Stepan Holub, holub at karlin.mff.cuni.cz
- Re: [isabelle] Error in DockerHub documentation - Boris Shminke via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Re: [isabelle] Error in DockerHub documentation - Makarius, makarius at sketis.net
- [isabelle] F-IDE 2021 - Last Call for Papers - Extended Deadline - Andrei Paskevich, andrei.paskevich at lri.fr
- Re: [isabelle] AFP instructions - Gerwin Klein, kleing at unsw.edu.au
- Re: [isabelle] AFP instructions - Fernandez, Matthew, matthew.fernandez at intel.com
- Re: [isabelle] AFP instructions - Gerwin Klein, kleing at unsw.edu.au
- Thu, 25 Feb 2021
- Re: [isabelle] AFP instructions - Stepan Holub, holub at karlin.mff.cuni.cz
- Re: [isabelle] Error in DockerHub documentation - Boris Shminke via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Re: [isabelle] AFP instructions - Gerwin Klein, kleing at unsw.edu.au
- Re: [isabelle] AFP instructions - Makarius, makarius at sketis.net
- Re: [isabelle] AFP instructions - Makarius, makarius at sketis.net
- [isabelle] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto) - Dominique Unruh, unruh at ut.ee
- [isabelle] FMCAD 2021: First Call for Papers - Michael Whalen via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Re: [isabelle] Berghofer's program extraction mechanism and code generation - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
- Re: [isabelle] RC5: Syntactic class bit_operations is gone - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
- Re: [isabelle] Weak lemma: HOL-Algebra.Multiplicative_Group.generate_pow_card - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
- Re: [isabelle] AFP instructions - Fernandez, Matthew, matthew.fernandez at intel.com
- Re: [isabelle] AFP instructions - David Cock, david.cock at inf.ethz.ch
- Re: [isabelle] AFP instructions - Gerwin Klein, kleing at unsw.edu.au
- Fri, 26 Feb 2021
- Re: [isabelle] AFP instructions - Gerwin Klein, kleing at unsw.edu.au
- [isabelle] New in the AFP: A Verified Imperative Implementation of B-Trees - Gerwin Klein, kleing at unsw.edu.au
- [isabelle] Nitpick Codatatype - No Counterexample found - Stüber, Sebastian, stueber at se-rwth.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- [isabelle] Python client to Isabelle server - Boris Shminke via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Mohammad Abdulaziz, mohammad.abdulaziz8 at gmail.com
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Mohammad Abdulaziz, mohammad.abdulaziz8 at gmail.com
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Freek Wiedijk, freek at cs.ru.nl
- Sat, 27 Feb 2021
- Sun, 28 Feb 2021
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.