Cl-isabelle-users February 2021 Archives by thread
- [isabelle] New in the AFP: a port of GeoCoq ,
Lawrence Paulson - Mon, 01 Feb 2021 12:05:07 +0000
- [isabelle] Isabelle2021-RC4 available for applications ,
Makarius - Mon, 01 Feb 2021 14:45:46 +0000
- Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output ,
Makarius - Mon, 01 Feb 2021 14:58:59 +0000
- Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) ,
Makarius - Mon, 01 Feb 2021 15:09:41 +0000
- Re: [isabelle] Isabelle2021-RC0: Java/VM monitor ,
Makarius - Mon, 01 Feb 2021 15:11:51 +0000
- [isabelle] New in the AFP: Solution to the xkcd Blue Eyes puzzle ,
Manuel Eberl - Mon, 01 Feb 2021 17:24:18 +0000
- [isabelle] Isabelle logo terms of use ,
Stepan Holub - Mon, 01 Feb 2021 19:27:17 +0000
- [isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) New Deadlines ,
Frederic Loulergue - Tue, 02 Feb 2021 06:57:50 +0000
- [isabelle] CfP: SCSS 2021 ,
Temur Kutsia - Tue, 02 Feb 2021 11:21:15 +0000
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Makarius - Wed, 03 Feb 2021 12:58:23 +0000
- <Possible follow-ups>
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Wenda Li - Fri, 05 Feb 2021 19:39:36 +0000
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Makarius - Fri, 05 Feb 2021 19:58:09 +0000
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Wenda Li - Fri, 05 Feb 2021 20:56:36 +0000
- [isabelle] Atb.: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Alex Meyer - Fri, 05 Feb 2021 22:38:39 +0000
- [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Dominique Unruh - Tue, 09 Feb 2021 18:34:56 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Makarius - Tue, 09 Feb 2021 19:33:31 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Makarius - Tue, 09 Feb 2021 20:19:27 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Dominique Unruh - Thu, 11 Feb 2021 11:54:42 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Makarius - Thu, 11 Feb 2021 13:22:22 +0000
- Re: [isabelle] isabelle scala_project and Gradle / IntelliJ support ,
Makarius - Thu, 11 Feb 2021 13:44:13 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Jasmin Blanchette via Cl-isabelle-users - Thu, 04 Feb 2021 08:09:24 +0000
- [isabelle] Rewrites for a sublocale with UNIV as the carrier set ,
Lukas Stevens - Fri, 05 Feb 2021 13:15:39 +0000
- [isabelle] Incompatibility between code generation, HOL-Library.Numeral_Type, and Containers.Set_Impl ,
Dominique Unruh - Fri, 05 Feb 2021 13:20:59 +0000
- [isabelle] Isabelle2021-RC5 available for applications ,
Makarius - Mon, 08 Feb 2021 21:42:36 +0000
- [isabelle] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation ,
Andrei Popescu - Tue, 09 Feb 2021 16:40:23 +0000
- [isabelle] Boolos's Curious Inference (Speed-Up) in Isabelle/HOL ,
Jeffrey Ketland - Wed, 10 Feb 2021 02:20:53 +0000
- [isabelle] Syntax proposal: multiway if ,
Manuel Eberl - Wed, 10 Feb 2021 15:07:27 +0000
- [isabelle] New in the AFP: The Laws of Large Numbers ,
Gerwin Klein - Thu, 11 Feb 2021 05:40:33 +0000
- [isabelle] FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22) ,
Carsten Fuhs - Thu, 11 Feb 2021 09:06:41 +0000
- [isabelle] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands ,
Freek Verbeek - Thu, 11 Feb 2021 10:08:39 +0000
- [isabelle] CFP SAT-2021: Deadline March 19th ,
Jesús Giráldez Crú - Thu, 11 Feb 2021 14:10:48 +0000
- [isabelle] Some more polishing of the multiset theory ,
Florian Haftmann - Sat, 13 Feb 2021 09:51:11 +0000
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer ,
Eugene W. Stark - Sat, 13 Feb 2021 16:20:25 +0000
- [isabelle] Weird nesting of Quantifiers ,
Peter Lammich - Sun, 14 Feb 2021 15:45:03 +0000
- [isabelle] Isabelle2021-RC6 available for applications ,
Makarius - Sun, 14 Feb 2021 18:42:54 +0000
- [isabelle] Open pdf files from Isabelle File Browser ,
Peter Koepke - Tue, 16 Feb 2021 07:17:46 +0000
- [isabelle] Conflict of type arities: What are the constraints on class instantiations? ,
Peter Lammich - Tue, 16 Feb 2021 12:52:28 +0000
- [isabelle] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security ,
Ekaterina Komendantskaya - Tue, 16 Feb 2021 13:33:36 +0000
- [isabelle] Predicate Compiler fails with "No specification for ..." ,
Florian Märkl - Fri, 19 Feb 2021 14:03:51 +0000
- [isabelle] unused_thms in composed theorems ,
Stepan Holub - Fri, 19 Feb 2021 14:03:57 +0000
- [isabelle] 2nd CfP ThEdu'21 ,
Walther Neuper - Fri, 19 Feb 2021 17:34:56 +0000
- [isabelle] Relation of function absent from Main ,
Christian Pardillo Laursen - Fri, 19 Feb 2021 17:39:03 +0000
- [isabelle] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021 ,
Serge Autexier - Sat, 20 Feb 2021 16:09:54 +0000
- [isabelle] Request for TTP and PTT Interfaces ,
Jens-D. Doll - Sat, 20 Feb 2021 17:13:18 +0000
- [isabelle] First day with HOL/Isabelle ,
McCue, Brian - Sat, 20 Feb 2021 17:24:17 +0000
- [isabelle] Announcing Isabelle2021 ,
Makarius - Sun, 21 Feb 2021 20:50:19 +0000
- [isabelle] Unfixed variables in "define" command ,
Manuel Eberl - Mon, 22 Feb 2021 12:03:35 +0000
- [isabelle] AFP 2021 ,
Gerwin Klein - Tue, 23 Feb 2021 10:19:22 +0000
- [isabelle] Berghofer's program extraction mechanism and code generation ,
Dr A. Koutsoukou-Argyraki - Tue, 23 Feb 2021 17:56:56 +0000
- [isabelle] Error in DockerHub documentation ,
Boris Shminke via Cl-isabelle-users - Wed, 24 Feb 2021 10:33:07 +0000
- [isabelle] Bill McCune PhD Award in Automated Reasoning, Call for Nominations ,
Pascal Fontaine - Wed, 24 Feb 2021 13:14:56 +0000
- [isabelle] New in the AFP: Formal Puiseux Series ,
Lawrence Paulson - Wed, 24 Feb 2021 14:17:54 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Wed, 24 Feb 2021 14:59:51 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Wenda Li - Wed, 24 Feb 2021 16:10:24 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Wed, 24 Feb 2021 16:15:19 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Freek Wiedijk - Wed, 24 Feb 2021 16:39:02 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Fri, 26 Feb 2021 15:42:48 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Fri, 26 Feb 2021 15:51:42 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Mohammad Abdulaziz - Fri, 26 Feb 2021 16:06:14 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Fri, 26 Feb 2021 16:15:52 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Mohammad Abdulaziz - Fri, 26 Feb 2021 16:27:04 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Manuel Eberl - Fri, 26 Feb 2021 16:26:51 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series ,
Freek Wiedijk - Fri, 26 Feb 2021 16:28:47 +0000
- [isabelle] AFP instructions ,
Stepan Holub - Wed, 24 Feb 2021 16:40:20 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Wed, 24 Feb 2021 18:38:04 +0000
- Re: [isabelle] AFP instructions ,
Stepan Holub - Wed, 24 Feb 2021 18:47:19 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Wed, 24 Feb 2021 22:14:36 +0000
- Re: [isabelle] AFP instructions ,
Fernandez, Matthew - Wed, 24 Feb 2021 23:07:25 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Wed, 24 Feb 2021 23:47:28 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Thu, 25 Feb 2021 11:20:08 +0000
- Re: [isabelle] AFP instructions ,
Stepan Holub - Thu, 25 Feb 2021 08:03:11 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Thu, 25 Feb 2021 09:47:39 +0000
- Re: [isabelle] AFP instructions ,
Fernandez, Matthew - Thu, 25 Feb 2021 19:07:05 +0000
- Re: [isabelle] AFP instructions ,
David Cock - Thu, 25 Feb 2021 21:41:36 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Thu, 25 Feb 2021 21:59:53 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Thu, 25 Feb 2021 11:25:07 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Fri, 26 Feb 2021 05:44:17 +0000
- Re: [isabelle] AFP instructions ,
Stepan Holub - Sat, 27 Feb 2021 09:28:26 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Sat, 27 Feb 2021 11:18:18 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Sat, 27 Feb 2021 11:34:39 +0000
- Re: [isabelle] AFP instructions ,
Stepan Holub - Sat, 27 Feb 2021 12:00:09 +0000
- Re: [isabelle] AFP instructions ,
Makarius - Sat, 27 Feb 2021 12:29:20 +0000
- Re: [isabelle] AFP instructions ,
Gerwin Klein - Sun, 28 Feb 2021 21:24:44 +0000
- [isabelle] F-IDE 2021 - Last Call for Papers - Extended Deadline ,
Andrei Paskevich - Wed, 24 Feb 2021 20:28:38 +0000
- [isabelle] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto) ,
Dominique Unruh - Thu, 25 Feb 2021 12:43:10 +0000
- [isabelle] FMCAD 2021: First Call for Papers ,
Michael Whalen via Cl-isabelle-users - Thu, 25 Feb 2021 15:04:47 +0000
- Re: [isabelle] Weak lemma: HOL-Algebra.Multiplicative_Group.generate_pow_card ,
Florian Haftmann - Thu, 25 Feb 2021 16:50:17 +0000
- [isabelle] New in the AFP: A Verified Imperative Implementation of B-Trees ,
Gerwin Klein - Fri, 26 Feb 2021 06:26:54 +0000
- [isabelle] Nitpick Codatatype - No Counterexample found ,
Stüber, Sebastian - Fri, 26 Feb 2021 10:36:24 +0000
- [isabelle] Python client to Isabelle server ,
Boris Shminke via Cl-isabelle-users - Fri, 26 Feb 2021 15:56:23 +0000
- [isabelle] FMBC 2021: First Call for Papers ,
Marmsoler, Diego - Sat, 27 Feb 2021 14:17:31 +0000
- [isabelle] Remaining uses of "isabelle process" and "isabelle console" ,
Makarius - Sat, 27 Feb 2021 15:26:50 +0000
- [isabelle] SMT 2021 Workshop: Second Call for Papers ,
Nadel, Alexander - Sun, 28 Feb 2021 06:56:45 +0000
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.