Cl-isabelle-users January 2021 Archives by thread
- Re: [isabelle] Isabelle2021-RC0: Java/VM monitor ,
Makarius - Fri, 01 Jan 2021 09:38:35 +0000
- Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL ,
Lawrence Paulson - Fri, 01 Jan 2021 16:29:06 +0000
- [isabelle] Cannot load theory when building ,
Kawin Worrasangasilpa - Sat, 02 Jan 2021 08:23:26 +0000
- Re: [isabelle] quote in mixfix annotation ,
Makarius - Sat, 02 Jan 2021 10:11:37 +0000
- Re: [isabelle] Issue with Isabelle/jEdit in fullscreen mode in macOS Big Sur ,
Makarius - Sat, 02 Jan 2021 10:25:42 +0000
- Re: [isabelle] Question about "try" and future tasks ,
Makarius - Sat, 02 Jan 2021 10:36:09 +0000
- Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 ,
Makarius - Sat, 02 Jan 2021 10:40:04 +0000
- Re: [isabelle] Using LaTeX output print mode for source text ,
Makarius - Sat, 02 Jan 2021 10:48:08 +0000
- [isabelle] Bootstrap problem in Isabelle2021-RC1: Consumer thread failure: "Isabelle.Session.manager" ,
Florian Haftmann - Sun, 03 Jan 2021 09:44:58 +0000
- Re: [isabelle] Apple switching to ARM ,
Makarius - Sun, 03 Jan 2021 11:37:39 +0000
- Re: [isabelle] Any fans of "try"? ,
Makarius - Sun, 03 Jan 2021 11:53:25 +0000
- Re: [isabelle] sledgehammer (or Z3) internal error ,
Makarius - Sun, 03 Jan 2021 12:00:20 +0000
- Re: [isabelle] Custom fonts in browser_info html? ,
Makarius - Sun, 03 Jan 2021 12:03:16 +0000
- Re: [isabelle] Sledgehammer errors (Isabelle 2020) ,
Makarius - Sun, 03 Jan 2021 14:42:58 +0000
- [isabelle] CfP Theorem Proving Components for Educational Software at CADE-28 ,
Walther Neuper - Sun, 03 Jan 2021 16:33:48 +0000
- [isabelle] Go-to-definition doesn't work when exploring library. ,
Jakub Kądziołka - Sun, 03 Jan 2021 23:58:18 +0000
- [isabelle] low-level code formalisations in Isabelle ,
Buday Gergely via Cl-isabelle-users - Mon, 04 Jan 2021 08:46:00 +0000
- [isabelle] FSCD 2021: Second Call for Papers ,
Carsten Fuhs - Mon, 04 Jan 2021 17:08:24 +0000
- [isabelle] Fwd: Re: Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL ,
Thomas Sewell - Mon, 04 Jan 2021 17:23:13 +0000
- [isabelle] Research assistant/associate position at Imperial College London ,
Lorenzo Gheri - Mon, 04 Jan 2021 17:53:54 +0000
- [isabelle] Questionnaire on deployed verified systems ,
Alexander Kogtenkov via Cl-isabelle-users - Tue, 05 Jan 2021 12:24:13 +0000
- [isabelle] Questions about "transfer" ,
Manuel Eberl - Tue, 05 Jan 2021 12:40:37 +0000
- [isabelle] ITP2021: Second Call for Workshops (Deadline 11 January 2021) ,
itp2021-workshops - Tue, 05 Jan 2021 15:05:54 +0000
- [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Eugene W. Stark - Tue, 05 Jan 2021 23:28:42 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Mathias Fleury - Wed, 06 Jan 2021 08:29:51 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Eugene W. Stark - Wed, 06 Jan 2021 11:03:38 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Eugene W. Stark - Sun, 10 Jan 2021 20:56:25 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Mathias Fleury - Mon, 11 Jan 2021 07:28:36 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Eugene W. Stark - Mon, 11 Jan 2021 13:52:46 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Mathias Fleury - Thu, 14 Jan 2021 06:23:58 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Thomas Sewell - Thu, 14 Jan 2021 16:27:58 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Makarius - Wed, 27 Jan 2021 20:55:02 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Thomas Sewell - Thu, 28 Jan 2021 12:31:07 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Makarius - Wed, 27 Jan 2021 20:58:52 +0000
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? ,
Eugene W. Stark - Wed, 27 Jan 2021 21:24:24 +0000
- [isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) ,
Frederic Loulergue - Wed, 06 Jan 2021 09:29:09 +0000
- [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? ,
Eugene W. Stark - Wed, 06 Jan 2021 14:34:26 +0000
- [isabelle] Isabelle2021-RC1 - error highlighting ,
Mathias Fleury - Wed, 06 Jan 2021 14:42:55 +0000
- [isabelle] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) ,
Andrei Popescu - Wed, 06 Jan 2021 17:12:26 +0000
- [isabelle] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) ,
Peter Achten - Fri, 08 Jan 2021 08:09:47 +0000
- [isabelle] Variable both free and bound?! ,
Jakub Kądziołka - Fri, 08 Jan 2021 22:34:26 +0000
- [isabelle] Isabelle2021-RC1 - sledgehammer suggestion "by presburger" sometimes fails ,
Eugene W. Stark - Sat, 09 Jan 2021 15:21:35 +0000
- [isabelle] Strange "Tactic failed" error in lift_definition with (code_dt) seemingly depending on syntactic details ,
Florian Märkl - Sat, 09 Jan 2021 18:12:28 +0000
- [isabelle] Detecting undefined ,
David Kretzmer - Sat, 09 Jan 2021 19:31:56 +0000
- [isabelle] brute force search in lists ,
Stepan Holub - Sun, 10 Jan 2021 11:16:33 +0000
- [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit ,
Thiemann, René - Sun, 10 Jan 2021 13:29:29 +0000
- [isabelle] Isabelle2021-RC2 available for testing ,
Makarius - Sun, 10 Jan 2021 15:52:52 +0000
- [isabelle] F-IDE 2021 - 2nd Call for Papers ,
Makarius - Sun, 10 Jan 2021 18:24:09 +0000
- Re: [isabelle] Debug facilities of locales ,
Makarius - Sun, 10 Jan 2021 18:26:59 +0000
- [isabelle] Updating AFP entry ,
Pedro Sánchez Terraf - Mon, 11 Jan 2021 18:14:39 +0000
- [isabelle] New in the AFP: The HOL-CSP Refinement Toolkit ,
Manuel Eberl - Tue, 12 Jan 2021 12:10:00 +0000
- [isabelle] Isabelle2021-RC2: slight regression in HTML output ,
Jakub Kądziołka - Tue, 12 Jan 2021 23:34:28 +0000
- [isabelle] AFP 2021 preparations ,
Gerwin Klein - Tue, 12 Jan 2021 23:39:29 +0000
- [isabelle] New AFP entry: JinjaDCI: a Java semantics with dynamic class initialization ,
Tobias Nipkow - Wed, 13 Jan 2021 09:36:41 +0000
- [isabelle] SMT 2021 Workshop: Call for Papers ,
Nadel, Alexander - Wed, 13 Jan 2021 12:25:47 +0000
- [isabelle] Some lemmas on factorial rings ,
Jakub Kądziołka - Wed, 13 Jan 2021 23:20:44 +0000
- Re: [isabelle] Lemma suggestion to Function_Algebras ,
Florian Haftmann - Thu, 14 Jan 2021 15:20:51 +0000
- [isabelle] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice ,
Enrico Tassi - Fri, 15 Jan 2021 16:30:20 +0000
- [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure ,
Mikhail Chekhov - Fri, 15 Jan 2021 21:46:47 +0000
- [isabelle] Isabelle keywords ,
Stephan Merz - Sat, 16 Jan 2021 09:55:52 +0000
- [isabelle] Fwd: ITP 2021: Third Call for Papers ,
Cezary Kaliszyk - Sat, 16 Jan 2021 16:10:27 +0000
- [isabelle] Epigenetics and similar Phenomena ,
Jens-D. Doll - Sun, 17 Jan 2021 11:57:21 +0000
- [isabelle] Derive bounded sets from extended nat ,
Kruse, Kevin - Sun, 17 Jan 2021 15:20:18 +0000
- [isabelle] Some lemmas with a combinatoric flavor ,
Jakub Kądziołka - Sun, 17 Jan 2021 23:22:49 +0000
- [isabelle] Translating from Isar to ML? ,
Albert Jiang - Mon, 18 Jan 2021 21:13:04 +0000
- [isabelle] ATVA 2021 - Call for Papers ,
Giles Reger - Tue, 19 Jan 2021 08:13:26 +0000
- [isabelle] Isabelle2021-RC2: Problems downloading ,
Dominique Unruh - Tue, 19 Jan 2021 13:16:12 +0000
- [isabelle] CFP: HCSS 2021 - High Confidence Software and Systems Conference ,
Dey, Katie - Tue, 19 Jan 2021 13:30:22 +0000
- [isabelle] Console errors in AFP build after push ,
Pedro Sánchez Terraf - Tue, 19 Jan 2021 14:36:39 +0000
- [isabelle] Blog entry: Release Candidates for Isabelle2021 ,
Makarius - Tue, 19 Jan 2021 15:44:44 +0000
- [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish ,
Norbert Schirmer via Cl-isabelle-users - Tue, 19 Jan 2021 16:56:10 +0000
- [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles ,
Tobias Nipkow - Wed, 20 Jan 2021 07:36:40 +0000
- [isabelle] [Lambda Days + TFP + TFPIE 2021] call for participation ,
Peter Achten - Fri, 22 Jan 2021 13:53:16 +0000
- [isabelle] CADE-28: $n$th call for papers ,
Jasmin Blanchette via Cl-isabelle-users - Fri, 22 Jan 2021 20:05:29 +0000
- [isabelle] Isabelle2021-RC3 available for testing ,
Makarius - Sun, 24 Jan 2021 18:39:03 +0000
- Re: [isabelle] Isabelle2021-RC3: update of Scala, but not OpenJDK ,
Makarius - Sun, 24 Jan 2021 18:57:05 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Makarius - Sun, 24 Jan 2021 21:37:15 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Lawrence Paulson - Mon, 25 Jan 2021 14:54:07 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Makarius - Mon, 25 Jan 2021 15:24:17 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Lawrence Paulson - Mon, 25 Jan 2021 15:42:02 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Frédéric Boulanger - Mon, 25 Jan 2021 16:38:46 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Lawrence Paulson - Mon, 25 Jan 2021 16:44:27 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Jakub Kądziołka - Tue, 26 Jan 2021 11:08:00 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Frédéric Boulanger - Tue, 26 Jan 2021 12:29:35 +0000
- Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. ,
Makarius - Mon, 25 Jan 2021 16:54:27 +0000
- Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) ,
Makarius - Tue, 26 Jan 2021 17:46:35 +0000
- [isabelle] UTF8 chars behavior ,
Pedro Sánchez Terraf - Thu, 28 Jan 2021 03:58:06 +0000
[isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour ,
Mikhail Chekhov - Sun, 24 Jan 2021 23:13:17 +0000
[isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] ,
Fernandez, Matthew - Tue, 26 Jan 2021 16:19:33 +0000
[isabelle] CFP: Workshop on the Role of Mathematical Reasoning in General Artificial Intelligence at ICLR 2021 ,
Wenda Li - Tue, 26 Jan 2021 23:14:57 +0000
[isabelle] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 ,
Serge Autexier - Wed, 27 Jan 2021 08:16:58 +0000
[isabelle] "Files and Folders" permissions cannot be granted ,
Alessandro Cogliati via Cl-isabelle-users - Wed, 27 Jan 2021 20:57:10 +0000
[isabelle] Configurable proposition grammar root symbol for easier definition of custom outer syntax commands. ,
Daniel Kirchner - Thu, 28 Jan 2021 17:55:29 +0000
[isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) ,
Alex Meyer - Sat, 30 Jan 2021 02:00:44 +0000
[isabelle] Assistant/associate professorship in Copenhagen or Aalborg at Aalborg University ,
Anders Schlichtkrull - Sat, 30 Jan 2021 15:19:14 +0000
[isabelle] Transfer Question ,
David E. Narvaez - Sun, 31 Jan 2021 01:55:04 +0000
[isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer ,
Eugene W. Stark - Sun, 31 Jan 2021 12:31:44 +0000
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.