[isabelle] Active Area for jEdit Console (1 message, latest: Jun 21 2021 at 09:10)
[isabelle] WiL’21 Final Call for Participation (1 message, latest: Jun 21 2021 at 08:52)
[isabelle] New in the AFP: A Shorter Compiler Correctness… (1 message, latest: Jun 21 2021 at 07:12)
[isabelle] SCSS 2021: call for short and work-in-progress… (1 message, latest: Jun 19 2021 at 10:45)
[isabelle] Add markup to term annotations (1 message, latest: Jun 19 2021 at 10:45)
[isabelle] Industry researchers and engineer sought for n… (1 message, latest: Jun 19 2021 at 10:42)
[isabelle] Proof Ground 2021 Call for Participation (1 message, latest: Jun 18 2021 at 12:47)
[isabelle] Update on the SErAPIS search engine: New videos (1 message, latest: Jun 17 2021 at 16:19)
[isabelle] Sorting algorithms in the AFP (3 messages, latest: Jun 16 2021 at 23:01)
[isabelle] PhD position on Embedded Systems Verification … (1 message, latest: Jun 16 2021 at 09:44)
[isabelle] FSCD 2021: Call for (Online) Participation (1 message, latest: Jun 15 2021 at 08:08)
[isabelle] Execute typedef Definition (2 messages, latest: Jun 14 2021 at 10:35)
[isabelle] Call for Papers: Fifth Workshop on Formal Math… (1 message, latest: Jun 14 2021 at 07:01)
[isabelle] Certified Programs and Proofs (CPP) 2022: Call… (1 message, latest: Jun 14 2021 at 07:01)
[isabelle] Question about some projects to work on (1 message, latest: Jun 13 2021 at 20:14)
[isabelle] Code equations for Rep in lift_definition with… (2 messages, latest: Jun 13 2021 at 17:56)
[isabelle] Profiling time? (4 messages, latest: Jun 12 2021 at 10:24)
[isabelle] FVPS 2021: Deadline Extension (June 25, 2021) (1 message, latest: Jun 12 2021 at 09:20)
[isabelle] CADE 2021 call for participation (1 message, latest: Jun 10 2021 at 05:21)
[isabelle] The instructions in AFP’s “Using Entries” do n… (8 messages, latest: Jun 07 2021 at 09:24)
[isabelle] [Second Call for Papers] Formal Verification o… (1 message, latest: Jun 07 2021 at 09:02)
[isabelle] VS Code extension (5 messages, latest: Jun 05 2021 at 11:34)
[isabelle] build output (2 messages, latest: Jun 05 2021 at 11:27)
[isabelle] Isabelle document generation and ACM and LIPIc… (3 messages, latest: Jun 05 2021 at 11:26)
[isabelle] [Call for Participation] 12th International Sc… (2 messages, latest: Jun 04 2021 at 10:07)
[isabelle] Research position in Formal Verification at HE… (1 message, latest: Jun 04 2021 at 10:06)
[isabelle] New AFP entry: Lifting the Exponent (1 message, latest: May 31 2021 at 18:41)
[isabelle] CALCO 2021: Deadline extension and invited spe… (1 message, latest: May 30 2021 at 11:06)
[isabelle] PhD position on program verification in Coq (1 message, latest: May 28 2021 at 09:03)
[isabelle] Generating set comprehensions as part of a syn… (2 messages, latest: May 27 2021 at 12:58)
[isabelle] New in the AFP: Combinatorics on Words (1 message, latest: May 26 2021 at 10:18)
[isabelle] Concerning Fun.swap (3 messages, latest: May 22 2021 at 06:26)
[isabelle] PhD position using Isabelle in Saarbrücken (1 message, latest: May 20 2021 at 16:26)
[isabelle] Cannot build HOL.Complex_Main (2 messages, latest: May 20 2021 at 11:26)
[isabelle] SCSS 2021: deadline extension (1 message, latest: May 20 2021 at 09:00)
[isabelle] Position of Lecturer or Senior Lecturer in Cyb… (1 message, latest: May 19 2021 at 19:18)
[isabelle] Bitblasting via SAT and Argo (3 messages, latest: May 18 2021 at 13:43)
[isabelle] Primrec abstracts over the wrong variable (3 messages, latest: May 18 2021 at 04:50)
[isabelle] elimination rule for length s = Suc n (3 messages, latest: May 17 2021 at 15:49)
[isabelle] Exhaustiveness of Pure.type (3 messages, latest: May 17 2021 at 13:56)
[isabelle] [Call for Papers] Formal Verification of Physi… (1 message, latest: May 17 2021 at 10:07)
[isabelle] RV’21 Call for Papers (with an Extended Deadline) (1 message, latest: May 16 2021 at 16:52)
[isabelle] isabelle ghc_setup (2 messages, latest: May 16 2021 at 14:18)
[isabelle] Generate fun/datatype definition in ML (3 messages, latest: May 15 2021 at 10:14)
[isabelle] New in the AFP: Hensel’s Lemma for the p-adic … (1 message, latest: May 14 2021 at 16:02)
[isabelle] Questions regarding endomorphisms of real norm… (2 messages, latest: May 14 2021 at 15:28)
[isabelle] Last CfP: SCSS 2021 (1 message, latest: May 14 2021 at 09:07)
[isabelle] 5 permanent positions (lecturer, senior lectur… (1 message, latest: May 13 2021 at 22:36)
[isabelle] First Call for Papers: Formal Methods Teaching… (1 message, latest: May 13 2021 at 08:26)
[isabelle] CALCO 2021: Second call for papers (1 message, latest: May 11 2021 at 09:57)
[isabelle] postdoc position (6 years) in CL group in Inns… (1 message, latest: May 11 2021 at 09:56)
[isabelle] FMBC 2021 - Final Call for Papers (Deadline ex… (1 message, latest: May 10 2021 at 08:57)
[isabelle] New book: Functional Algorithms, Verified! (1 message, latest: May 10 2021 at 06:51)
[isabelle] Postdoc in Computing Science with a Specialisa… (1 message, latest: May 05 2021 at 12:33)
[isabelle] High CPU usage on PolyML subprocess (Pure/HOL)… (5 messages, latest: May 04 2021 at 09:48)
[isabelle] New in the AFP: Regression Test Selection (1 message, latest: May 03 2021 at 18:12)
[isabelle] A Redesign of the Archive of Formal Proofs (1 message, latest: May 03 2021 at 13:00)
[isabelle] Recurring error from Isabelle Syslog (6 messages, latest: May 03 2021 at 12:04)
[isabelle] parse_translation does not detect changes in t… (10 messages, latest: May 02 2021 at 13:29)
[isabelle] SMT 2021 Workshop: Deadline Extension to May 7 (1 message, latest: May 01 2021 at 10:03)
[isabelle] How to get TopLevel.state from the theorem str… (1 message, latest: Apr 28 2021 at 22:43)
[isabelle] Atb.: Is it possible to use QRHL tool without … (1 message, latest: Apr 28 2021 at 17:08)
[isabelle] Can QRHL tool be used without QRHL theories, f… (1 message, latest: Apr 28 2021 at 16:35)
[isabelle] Generic Lemma about Sums of Powers divided by … (1 message, latest: Apr 28 2021 at 14:24)
[isabelle] Term to be evaluated contains free dictionaries (4 messages, latest: Apr 28 2021 at 11:08)
[isabelle] NASA Formal Methods 2021: Call for (virtual) p… (1 message, latest: Apr 28 2021 at 09:18)
[isabelle] Two new AFP entries: Gale-Stewart games and Is… (1 message, latest: Apr 28 2021 at 08:36)
[isabelle] Failed call to isabelle jedit -R with code gen… (5 messages, latest: Apr 28 2021 at 08:02)
[isabelle] new in the AFP: The BKR Decision Procedure for… (1 message, latest: Apr 25 2021 at 15:40)
[isabelle] Using the global context when performing synta… (1 message, latest: Apr 25 2021 at 09:17)
[isabelle] FMBC 2021 - 3rd Call for Papers (Deadline exte… (1 message, latest: Apr 25 2021 at 09:17)
[isabelle] “Simple Type Theory is not too Simple”: commen… (15 messages, latest: Apr 24 2021 at 22:41)
[isabelle] 7th International Workshop on Proof eXchange f… (3 messages, latest: Apr 22 2021 at 15:12)
[isabelle] Printing a term without abbreviations/notation (4 messages, latest: Apr 20 2021 at 11:11)
[isabelle] 2021 Conference on Intelligent Computer Mathem… (1 message, latest: Apr 20 2021 at 08:49)
[isabelle] SPIN 2021 - Final Call for Papers (1 message, latest: Apr 20 2021 at 08:49)
[isabelle] Women in Logic 2021 - Call for Participation (1 message, latest: Apr 20 2021 at 08:49)
[isabelle] [CFP] Logical Frameworks and Meta-Languages: T… (5 messages, latest: Apr 20 2021 at 08:49)
[isabelle] Announcing SErAPIS: a new search engine for Is… (3 messages, latest: Apr 20 2021 at 08:48)
[isabelle] Symbolic execution in Isabelle. (5 messages, latest: Apr 19 2021 at 20:24)
[isabelle] CfP: Logical Frameworks and Meta-Languages: Th… (1 message, latest: Apr 19 2021 at 14:32)
[isabelle] Lemma like shiftr_bl but for sshiftr in Word L… (2 messages, latest: Apr 18 2021 at 22:22)
[isabelle] New in the AFP: Formalization of Timely Datafl… (1 message, latest: Apr 16 2021 at 05:47)
[isabelle] Quickcheck reports an incorrect counterexample (3 messages, latest: Apr 16 2021 at 05:28)
[isabelle] Datatype definition can be slow (10 messages, latest: Apr 16 2021 at 02:39)
[isabelle] SMT 2021 Workshop: Final Call for Papers (1 message, latest: Apr 14 2021 at 09:10)
[isabelle] Issues with locale interpretation (3 messages, latest: Apr 11 2021 at 17:01)
[isabelle] FMBC: Second Call for Papers (1 message, latest: Apr 10 2021 at 09:18)
[isabelle] New in the AFP: Grothendieck’s Schemes in Alge… (1 message, latest: Apr 09 2021 at 13:39)
[isabelle] Editing the Isabelle Wiki (3 messages, latest: Apr 08 2021 at 10:40)
[isabelle] Possible problem with floating-point addition … (4 messages, latest: Apr 07 2021 at 15:35)
[isabelle] Announcement: Isabelle/DOF 1.1.0 (1 message, latest: Apr 06 2021 at 18:47)
[isabelle] export code checking OCaml: zarith not found (3 messages, latest: Apr 06 2021 at 14:09)
[isabelle] Results — Survey on the AFP (1 message, latest: Apr 06 2021 at 09:12)
[isabelle] Parsing term is easy with Scala, can similar a… (2 messages, latest: Apr 05 2021 at 00:09)
[isabelle] Pārs.: Parsing term is easy with Scala, can s… (2 messages, latest: Apr 04 2021 at 22:49)
[isabelle] New AFP entry: Information Flow Control via De… (1 message, latest: Apr 01 2021 at 10:14)
[isabelle] UNIF 2021: second call for papers (1 message, latest: Apr 01 2021 at 09:26)
[isabelle] Evaluation of definitions defined inside a locale (5 messages, latest: Mar 31 2021 at 05:55)
[isabelle] 2nd CfP: SCSS 2021 (1 message, latest: Mar 30 2021 at 08:44)
[isabelle] Deadline Extension: April 5th, 20201, 14th Con… (1 message, latest: Mar 30 2021 at 08:44)
[isabelle] hd and last of Nil (15 messages, latest: Mar 29 2021 at 11:36)
[isabelle] Proof Ground 2021 - Call for Problems (1 message, latest: Mar 29 2021 at 09:17)
[isabelle] Morello: Edinburgh research posts on capabilit… (1 message, latest: Mar 29 2021 at 09:09)
[isabelle] I completed mmt_import but now I have some que… (2 messages, latest: Mar 28 2021 at 13:35)
[isabelle] Pārs.: How to see the names of all active Is… (1 message, latest: Mar 27 2021 at 14:41)
[isabelle] Atb.: How to see the names of all active Isabe… (1 message, latest: Mar 27 2021 at 14:22)
[isabelle] CFP ICTCS 2021 - 22th Italian Conference on Th… (1 message, latest: Mar 26 2021 at 10:56)
[isabelle] Specifying a Universal Property in a locale de… (2 messages, latest: Mar 23 2021 at 19:43)
[isabelle] C-to-Isabelle multiple external files (4 messages, latest: Mar 23 2021 at 10:20)
[isabelle] How to see the names of all active Isabelle se… (2 messages, latest: Mar 22 2021 at 15:42)
[isabelle] Call for Papers: HotSpot 2021 (1 message, latest: Mar 22 2021 at 10:23)
[isabelle] Weak lemma: sum_mset_diff (1 message, latest: Mar 21 2021 at 22:25)
[isabelle] Formal algorithms in Isabelle - is it OK to sp… (2 messages, latest: Mar 20 2021 at 19:46)
[isabelle] \isakeyword in bold? (1 message, latest: Mar 18 2021 at 10:15)
[isabelle] New in the AFP: Constructive Cryptography in H… (1 message, latest: Mar 18 2021 at 07:52)
[isabelle] Remaining uses of “isabelle process” and “isab… (9 messages, latest: Mar 17 2021 at 15:03)
[isabelle] 21st Midlands Graduate School in the Foundatio… (2 messages, latest: Mar 17 2021 at 11:04)
[isabelle] 14th Conference on Intelligent Computer Mathem… (3 messages, latest: Mar 17 2021 at 10:02)
[isabelle] A lemma about remove1 (3 messages, latest: Mar 16 2021 at 07:18)
[isabelle] Specifying a Universal Property in a locale de… (1 message, latest: Mar 15 2021 at 19:36)
[isabelle] building the document in Windows from Isabelle… (2 messages, latest: Mar 15 2021 at 16:14)
[isabelle] Entire theory in JSON forma using scala-isabelle? (3 messages, latest: Mar 15 2021 at 12:17)
[isabelle] Pārs.: Entire theory in JSON forma using scal… (1 message, latest: Mar 14 2021 at 16:54)
[isabelle] New in the AFP: Two algorithms based on modula… (1 message, latest: Mar 14 2021 at 11:13)
[isabelle] Request for feedback: dedicated session or AFP… (6 messages, latest: Mar 13 2021 at 13:46)
[isabelle] ML questions (3 messages, latest: Mar 13 2021 at 11:16)
[isabelle] Research Programmer in HoTT and Cubical Type T… (1 message, latest: Mar 13 2021 at 11:12)
[isabelle] Lecturer in Verification position at Universit… (1 message, latest: Mar 13 2021 at 01:23)
[isabelle] keywords “spark_open” :: thy_load (spark_siv) (6 messages, latest: Mar 12 2021 at 16:28)
[isabelle] New in the AFP: The Hermite–Lindemann–Weierstr… (1 message, latest: Mar 12 2021 at 14:38)
[isabelle] Well-behaved MacOS application for Isabelle 2021 (1 message, latest: Mar 11 2021 at 17:26)
[isabelle] Some more polishing of the multiset theory (5 messages, latest: Mar 11 2021 at 10:50)
[isabelle] by fact and try0 (2 messages, latest: Mar 09 2021 at 16:38)
[isabelle] New in the AFP: Quantum projective measurements (1 message, latest: Mar 09 2021 at 15:00)
[isabelle] Structure of Proofs (3 messages, latest: Mar 08 2021 at 17:17)
[isabelle] Troubles building Pure; can’t find Foreign.bui… (2 messages, latest: Mar 06 2021 at 23:16)
[isabelle] Nitpick finds counterexample to proven lemma (2 messages, latest: Mar 06 2021 at 09:03)
[isabelle] New in the AFP: Mereology (1 message, latest: Mar 05 2021 at 12:09)
[isabelle] Isabelle 2021 Word Library (3 messages, latest: Mar 05 2021 at 11:12)
[isabelle] Python client to Isabelle server (4 messages, latest: Mar 04 2021 at 22:30)
[isabelle] ATVA 2021 - Second Call for Papers (1 message, latest: Mar 04 2021 at 16:51)
[isabelle] SPIN 2021 - Deadline extension to April 20 (1 message, latest: Mar 04 2021 at 10:24)
[isabelle] Towards a formalization of elements of the fou… (1 message, latest: Mar 03 2021 at 20:13)
[isabelle] Fixing type variables in locales (6 messages, latest: Mar 03 2021 at 14:14)
[isabelle] Code generation for a subtype with free_constr… (1 message, latest: Mar 02 2021 at 11:55)
[isabelle] Working with list symmetry (Attributes for the… (1 message, latest: Mar 02 2021 at 10:33)
[isabelle] Error in DockerHub documentation (8 messages, latest: Mar 01 2021 at 14:09)
[isabelle] New in the AFP: The Sunflower Lemma of Erdős a… (1 message, latest: Mar 01 2021 at 12:37)
[isabelle] AFP instructions (20 messages, latest: Feb 28 2021 at 21:25)
[isabelle] FMBC 2021: First Call for Papers (1 message, latest: Feb 28 2021 at 10:48)
[isabelle] SMT 2021 Workshop: Second Call for Papers (1 message, latest: Feb 28 2021 at 10:48)
[isabelle] New in the AFP: Formal Puiseux Series (12 messages, latest: Feb 26 2021 at 16:28)
[isabelle] Nitpick Codatatype - No Counterexample found (1 message, latest: Feb 26 2021 at 10:36)
[isabelle] FMCAD 2021: First Call for Papers (1 message, latest: Feb 26 2021 at 10:34)
[isabelle] New in the AFP: A Verified Imperative Implemen… (1 message, latest: Feb 26 2021 at 06:27)
[isabelle] Weak lemma: HOL-Algebra.Multiplicative_Group.g… (2 messages, latest: Feb 25 2021 at 16:50)
[isabelle] RC5: Syntactic class bit_operations is gone (6 messages, latest: Feb 25 2021 at 16:40)
[isabelle] Berghofer’s program extraction mechanism and c… (4 messages, latest: Feb 25 2021 at 15:55)
[isabelle] Postdoc/phd positions in ERC project “Certifie… (1 message, latest: Feb 25 2021 at 12:43)
[isabelle] Bill McCune PhD Award in Automated Reasoning, … (1 message, latest: Feb 24 2021 at 14:40)
[isabelle] Request for TTP and PTT Interfaces (2 messages, latest: Feb 23 2021 at 12:58)
[isabelle] AFP 2021 (2 messages, latest: Feb 23 2021 at 11:56)
[isabelle] Unfixed variables in “define” command (8 messages, latest: Feb 22 2021 at 14:39)
[isabelle] Announcing Isabelle2021 (1 message, latest: Feb 21 2021 at 20:50)
[isabelle] First day with HOL/Isabelle (4 messages, latest: Feb 21 2021 at 20:04)
[isabelle] Predicate Compiler fails with “No specificatio… (6 messages, latest: Feb 21 2021 at 19:21)
[isabelle] Relation of function absent from Main (3 messages, latest: Feb 20 2021 at 21:57)
[isabelle] 2nd CfP ThEdu’21 (1 message, latest: Feb 19 2021 at 17:35)
[isabelle] Syntax proposal: multiway if (8 messages, latest: Feb 19 2021 at 15:37)
[isabelle] unused_thms in composed theorems (1 message, latest: Feb 19 2021 at 14:04)
[isabelle] Assistant/Associate Professor positions in Edi… (1 message, latest: Feb 17 2021 at 09:59)
[isabelle] Yet another Isabelle-Course available (1 message, latest: Feb 17 2021 at 09:02)
[isabelle] Conflict of type arities: What are the constra… (4 messages, latest: Feb 17 2021 at 00:48)
[isabelle] Isabelle2021-RC3 New failure mode for “try”/sl… (5 messages, latest: Feb 16 2021 at 13:30)
[isabelle] Weird nesting of Quantifiers (5 messages, latest: Feb 16 2021 at 12:27)
[isabelle] Rewrites for a sublocale with UNIV as the carr… (7 messages, latest: Feb 16 2021 at 10:36)
[isabelle] Open pdf files from Isabelle File Browser (2 messages, latest: Feb 16 2021 at 09:56)
[isabelle] RC5: Short experience report (4 messages, latest: Feb 15 2021 at 13:36)
[isabelle] RC5: Sledgehammer and HOL-Library.Word problems (3 messages, latest: Feb 15 2021 at 09:57)
[isabelle] Isabelle2021-RC6 available for applications (1 message, latest: Feb 14 2021 at 18:43)
[isabelle] Isabelle2021-RC5: support for Apple Silicon (2 messages, latest: Feb 13 2021 at 12:57)
[isabelle] CFP SAT-2021: Deadline March 19th (1 message, latest: Feb 12 2021 at 10:45)
[isabelle] PhD position in Formal Methods/Decompilation a… (1 message, latest: Feb 12 2021 at 10:45)
[isabelle] isabelle scala_project and Gradle / IntelliJ s… (1 message, latest: Feb 11 2021 at 13:44)
[isabelle] Comparing Isabelle/Scala with scala-isabelle. … (5 messages, latest: Feb 11 2021 at 13:22)
[isabelle] FSCD 2021: Extended deadline (Abstract: Februa… (1 message, latest: Feb 11 2021 at 10:05)
[isabelle] New in the AFP: The Laws of Large Numbers (1 message, latest: Feb 11 2021 at 05:40)
[isabelle] Boolos’s Curious Inference (Speed-Up) in Isabe… (2 messages, latest: Feb 10 2021 at 13:40)
[isabelle] Isabelle2021-RC5 available for applications (1 message, latest: Feb 08 2021 at 21:43)
[isabelle] Atb.: Isabelle code for getting in-memory repr… (1 message, latest: Feb 05 2021 at 22:39)
[isabelle] Isabelle code for getting in-memory representa… (5 messages, latest: Feb 05 2021 at 20:56)
[isabelle] Isabelle2021-RC1 - Any way to limit “veriT” me… (15 messages, latest: Feb 05 2021 at 13:36)
[isabelle] Incompatibility between code generation, HOL-L… (1 message, latest: Feb 05 2021 at 13:21)
[isabelle] CfP: SCSS 2021 (1 message, latest: Feb 03 2021 at 09:54)
[isabelle] Isabelle logo terms of use (2 messages, latest: Feb 02 2021 at 19:55)
[isabelle] Call for Papers: Tests and Proofs 2021 (TAP 20… (1 message, latest: Feb 02 2021 at 09:37)
[isabelle] New in the AFP: Solution to the xkcd Blue Eyes… (1 message, latest: Feb 01 2021 at 17:24)
[isabelle] Isabelle2021-RC0: Java/VM monitor (8 messages, latest: Feb 01 2021 at 15:34)
[isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) (3 messages, latest: Feb 01 2021 at 15:09)
[isabelle] Isabelle2021-RC2: slight regression in HTML ou… (4 messages, latest: Feb 01 2021 at 14:59)
[isabelle] Isabelle2021-RC4: bundling of Naproche-SAD (1 message, latest: Feb 01 2021 at 14:51)
[isabelle] Isabelle2021-RC4 available for applications (1 message, latest: Feb 01 2021 at 14:46)
[isabelle] New in the AFP: a port of GeoCoq (1 message, latest: Feb 01 2021 at 12:05)
[isabelle] Pārs.: Isabelle code for getting in-memory re… (1 message, latest: Jan 31 2021 at 02:50)
[isabelle] Transfer Question (1 message, latest: Jan 31 2021 at 01:55)
[isabelle] “Files and Folders” permissions cannot be granted (4 messages, latest: Jan 30 2021 at 00:16)
[isabelle] Configurable proposition grammar root symbol f… (1 message, latest: Jan 28 2021 at 17:55)
[isabelle] UTF8 chars behavior (2 messages, latest: Jan 28 2021 at 11:12)
[isabelle] CFP: Workshop on the Role of Mathematical Reas… (1 message, latest: Jan 26 2021 at 23:15)
[isabelle] Isabelle2021-RC3: macOS access to Documents fo… (13 messages, latest: Jan 26 2021 at 22:19)
[isabelle] Isabelle C wrapper [was Isabelle2021-RC3: macO… (5 messages, latest: Jan 26 2021 at 21:08)
[isabelle] Isabelle2021-RC2: Problems downloading (9 messages, latest: Jan 26 2021 at 17:50)
[isabelle] AFP 2021 preparations (5 messages, latest: Jan 25 2021 at 21:50)
[isabelle] Isabelle2021-RC2: improved HTML presentation (7 messages, latest: Jan 25 2021 at 20:50)
[isabelle] rewrite, subst, uses and sequential compositio… (4 messages, latest: Jan 25 2021 at 20:07)
[isabelle] rewrite, subst, uses and sequential compositio… (1 message, latest: Jan 24 2021 at 23:13)
[isabelle] Isabelle2021-RC3: update of Scala, but not Ope… (2 messages, latest: Jan 24 2021 at 21:00)
[isabelle] Bug report Isabelle 2019 and Isabelle 2020 (9 messages, latest: Jan 24 2021 at 19:29)
[isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish (3 messages, latest: Jan 24 2021 at 18:59)
[isabelle] Isabelle2021-RC3 available for testing (1 message, latest: Jan 24 2021 at 18:39)
[isabelle] [Lambda Days + TFP + TFPIE 2021] call for part… (1 message, latest: Jan 23 2021 at 10:53)
[isabelle] CADE-28: $n$th call for papers (1 message, latest: Jan 22 2021 at 20:05)
[isabelle] Some lemmas with a combinatoric flavor (3 messages, latest: Jan 20 2021 at 12:51)
[isabelle] CFP: HCSS 2021 - High Confidence Software and … (1 message, latest: Jan 20 2021 at 10:11)
[isabelle] Console errors in AFP build after push (3 messages, latest: Jan 19 2021 at 18:00)
[isabelle] Blog entry: Release Candidates for Isabelle2021 (1 message, latest: Jan 19 2021 at 15:44)
[isabelle] Translating from Isar to ML? (6 messages, latest: Jan 19 2021 at 15:19)
[isabelle] ATVA 2021 - Call for Papers (1 message, latest: Jan 19 2021 at 08:13)
[isabelle] Derive bounded sets from extended nat (3 messages, latest: Jan 18 2021 at 22:06)
[isabelle] Epigenetics and similar Phenomena (1 message, latest: Jan 17 2021 at 11:57)
[isabelle] ITP 2021: Third Call for Papers (1 message, latest: Jan 16 2021 at 16:10)
[isabelle] Two questions about the availability of certai… (3 messages, latest: Jan 16 2021 at 14:15)
[isabelle] Isabelle keywords (2 messages, latest: Jan 16 2021 at 13:03)
[isabelle] Some lemmas on factorial rings (2 messages, latest: Jan 14 2021 at 15:28)
[isabelle] Lemma suggestion to Function_Algebras (3 messages, latest: Jan 14 2021 at 15:21)
[isabelle] SMT 2021 Workshop: Call for Papers (1 message, latest: Jan 14 2021 at 10:50)
[isabelle] New AFP entry: JinjaDCI: a Java semantics with… (1 message, latest: Jan 13 2021 at 09:37)
[isabelle] Updating AFP entry (3 messages, latest: Jan 12 2021 at 23:27)
[isabelle] New in the AFP: The HOL-CSP Refinement Toolkit (1 message, latest: Jan 12 2021 at 12:10)
[isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit (3 messages, latest: Jan 11 2021 at 17:53)
[isabelle] Detecting undefined (6 messages, latest: Jan 11 2021 at 17:48)
[isabelle] brute force search in lists (2 messages, latest: Jan 11 2021 at 08:11)
[isabelle] Variable both free and bound?! (5 messages, latest: Jan 10 2021 at 18:34)
[isabelle] Debug facilities of locales (2 messages, latest: Jan 10 2021 at 18:27)
[isabelle] F-IDE 2021 - 2nd Call for Papers (1 message, latest: Jan 10 2021 at 18:24)
[isabelle] Issue with Isabelle/jEdit in fullscreen mode i… (3 messages, latest: Jan 10 2021 at 16:09)
[isabelle] Isabelle2021-RC1 - editing below sometimes cau… (4 messages, latest: Jan 10 2021 at 15:58)
[isabelle] Isabelle2021-RC2 available for testing (1 message, latest: Jan 10 2021 at 15:53)
[isabelle] Strange “Tactic failed” error in lift_definiti… (1 message, latest: Jan 10 2021 at 10:38)
[isabelle] Isabelle2021-RC1 - sledgehammer suggestion “by… (1 message, latest: Jan 09 2021 at 15:21)
[isabelle] [TFP’21] final call for papers: Trends in Func… (1 message, latest: Jan 09 2021 at 12:36)
[isabelle] Isabelle2021-RC1 - error highlighting (4 messages, latest: Jan 08 2021 at 20:18)
[isabelle] Custom fonts in browser_info html? (3 messages, latest: Jan 08 2021 at 15:29)
[isabelle] fully funded PhD position on verification of i… (1 message, latest: Jan 07 2021 at 10:19)
[isabelle] Questions about “transfer” (4 messages, latest: Jan 06 2021 at 23:31)
[isabelle] ITP2021: Second Call for Workshops (Deadline 1… (1 message, latest: Jan 06 2021 at 10:08)
[isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) (1 message, latest: Jan 06 2021 at 10:08)
[isabelle] Questionnaire on deployed verified systems (1 message, latest: Jan 05 2021 at 12:24)
[isabelle] FSCD 2021: Second Call for Papers (1 message, latest: Jan 05 2021 at 10:11)
[isabelle] Research assistant/associate position at Imper… (1 message, latest: Jan 05 2021 at 10:11)
[isabelle] Several questions about the availability of ce… (9 messages, latest: Jan 04 2021 at 17:23)
[isabelle] Go-to-definition doesn’t work when exploring l… (2 messages, latest: Jan 04 2021 at 12:37)
[isabelle] low-level code formalisations in Isabelle (1 message, latest: Jan 04 2021 at 08:46)
[isabelle] Sledgehammer errors (Isabelle 2020) (2 messages, latest: Jan 03 2021 at 17:19)
[isabelle] CfP Theorem Proving Components for Educational… (1 message, latest: Jan 03 2021 at 16:34)
[isabelle] sledgehammer (or Z3) internal error (1 message, latest: Jan 03 2021 at 12:00)
[isabelle] Any fans of “try”? (1 message, latest: Jan 03 2021 at 11:53)
[isabelle] Apple switching to ARM (1 message, latest: Jan 03 2021 at 11:38)
[isabelle] Bootstrap problem in Isabelle2021-RC1: Consume… (2 messages, latest: Jan 03 2021 at 11:27)
[isabelle] Using LaTeX output print mode for source text (2 messages, latest: Jan 02 2021 at 10:48)
[isabelle] Question about “try” and future tasks (2 messages, latest: Jan 02 2021 at 10:36)
[isabelle] quote in mixfix annotation (2 messages, latest: Jan 02 2021 at 10:11)
[isabelle] Cannot load theory when building (2 messages, latest: Jan 02 2021 at 10:04)
[isabelle] Another ZF entry for the AFP (1 message, latest: Dec 28 2020 at 10:54)
[isabelle] Isabelle2021-RC1 available for testing (1 message, latest: Dec 27 2020 at 19:15)
[isabelle] CPP 2021: Call for Participation and Lightning… (1 message, latest: Dec 22 2020 at 18:37)
[isabelle] New in the AFP: Topological semantics for para… (1 message, latest: Dec 22 2020 at 13:12)
[isabelle] [TFPIE’21] Second Call For Papers: Trends in F… (1 message, latest: Dec 19 2020 at 11:07)
[isabelle] Question regarding nitpick (5 messages, latest: Dec 19 2020 at 10:03)
[isabelle] Deadline extension: AMAI Special Issue on Theo… (1 message, latest: Dec 14 2020 at 11:01)
[isabelle] Invitation to celebrate the World Logic Day di… (1 message, latest: Dec 11 2020 at 09:24)
[isabelle] FSCD 2021: Third Call for Workshop Proposals -… (1 message, latest: Dec 10 2020 at 11:53)
[isabelle] Postdoc and research engineer positions in Sem… (1 message, latest: Dec 09 2020 at 18:13)
[isabelle] [TFP’21] second call for papers: Trends in Fun… (1 message, latest: Dec 09 2020 at 11:15)
[isabelle] take_all is equivalence (2 messages, latest: Dec 08 2020 at 21:06)
[isabelle] New AFP entry: Full name: Relational Minimum S… (1 message, latest: Dec 08 2020 at 12:15)
[isabelle] new in the AFP: The Verification of Cryptograp… (1 message, latest: Dec 07 2020 at 12:18)
[isabelle] Lean Together 2021: January 4-7, Call for Part… (1 message, latest: Dec 07 2020 at 10:22)
[isabelle] Postdoc and PhD Positions @ Iowa State University (1 message, latest: Dec 06 2020 at 11:37)
[isabelle] Isabelle2021-RC0 available for early experiments (2 messages, latest: Dec 04 2020 at 12:50)
[isabelle] PriSC 2021: call for participation and short t… (1 message, latest: Dec 04 2020 at 10:18)
[isabelle] ITP2021: Call for Workshops (1 message, latest: Dec 04 2020 at 10:18)
[isabelle] Efficient code for inductive predicates (4 messages, latest: Dec 03 2020 at 10:10)
[isabelle] Sub/superscripts in document preparation (4 messages, latest: Dec 02 2020 at 18:49)
[isabelle] 2nd CfP: AMAI Special Issue on Theoretical and… (1 message, latest: Dec 02 2020 at 09:40)
[isabelle] New in the AFP: Finite Map Extras (1 message, latest: Dec 01 2020 at 21:32)
[isabelle] Formalising Ordinal Partition Relations (1 message, latest: Dec 01 2020 at 16:07)
[isabelle] FSCD 2021: Second Call for Workshop Proposals … (1 message, latest: Dec 01 2020 at 13:16)
[isabelle] State of affairs with words (1 message, latest: Nov 30 2020 at 18:57)
[isabelle] Unknown JAVA_HOME – Java unavailable (2 messages, latest: Nov 30 2020 at 13:06)
[isabelle] Final Deadline - Survey on the AFP (1 message, latest: Nov 30 2020 at 11:30)
[isabelle] Observations on ZF (5 messages, latest: Nov 30 2020 at 10:32)
[isabelle] fully funded PhD position at University of She… (1 message, latest: Nov 30 2020 at 10:01)
[isabelle] New in the AFP: Isabelle Marries Dirac: a Libr… (1 message, latest: Nov 30 2020 at 09:09)
[isabelle] ITP 2021 : Second Call for Papers (1 message, latest: Nov 30 2020 at 08:54)
[isabelle] NASA Formal Methods Symposium (NFM2021) – Fin… (1 message, latest: Nov 28 2020 at 09:22)
[isabelle] new in the AFP (1 message, latest: Nov 27 2020 at 14:10)
[isabelle] superfluous assumptions in comm_append_are_rep… (3 messages, latest: Nov 26 2020 at 18:31)
[isabelle] Pretty-printing primed identifiers (1 message, latest: Nov 26 2020 at 11:28)
[isabelle] Looking for partner to teach course on Isabell… (1 message, latest: Nov 25 2020 at 10:02)
[isabelle] Bug? Or still just confusing correct behavior? (1 message, latest: Nov 21 2020 at 05:25)
[isabelle] two proof-assistant friendly posts of Lecturer… (1 message, latest: Nov 20 2020 at 13:11)
[isabelle] Another Issue with Isabelle/jEdit with macOS B… (5 messages, latest: Nov 20 2020 at 11:07)
[isabelle] Counting lines of code/definition vs proof? (2 messages, latest: Nov 19 2020 at 13:55)
[isabelle] Manually using a SideKick parser (2 messages, latest: Nov 19 2020 at 11:47)
[isabelle] Local varification/unvarification in Isabelle/ML? (1 message, latest: Nov 18 2020 at 00:09)
[isabelle] Code generation for non-terminating functions (3 messages, latest: Nov 17 2020 at 19:57)
[isabelle] Typos in lemma names (2 messages, latest: Nov 15 2020 at 14:02)
[isabelle] NFM2021 - Second Call for Papers (1 message, latest: Nov 14 2020 at 11:50)
[isabelle] Weak lemma: HOL-Algebra.Multiplicative_Group.g… (1 message, latest: Nov 13 2020 at 18:30)
[isabelle] New in the AFP: AI planning (1 message, latest: Nov 13 2020 at 13:24)
[isabelle] ROOT file for imported theory (3 messages, latest: Nov 13 2020 at 07:17)
[isabelle] scala-isabelle: A library for interfacing with… (1 message, latest: Nov 12 2020 at 13:23)
[isabelle] Codegen for List.member overwrites List struct… (3 messages, latest: Nov 12 2020 at 08:28)
[isabelle] Survey on the AFP (1 message, latest: Nov 11 2020 at 09:59)
[isabelle] Implicit exporting of goal state by different … (7 messages, latest: Nov 10 2020 at 10:11)
[isabelle] AutoCorres 1.7 and CParser 1.17 for Isabelle2020 (1 message, latest: Nov 10 2020 at 02:20)
[isabelle] How do I set –maxheap greater than 16G on Linux? (4 messages, latest: Nov 07 2020 at 22:14)
[isabelle] Definitional axioms in Isabelle/ML? (2 messages, latest: Nov 07 2020 at 19:12)
[isabelle] Improvement suggestion for isabelle process (2 messages, latest: Nov 07 2020 at 16:31)
[isabelle] Call for Papers - SPIN 2021 (1 message, latest: Nov 07 2020 at 10:32)
[isabelle] Document preparation from within Isabelle/jEdit (5 messages, latest: Nov 06 2020 at 22:50)
[isabelle] FSCD 2021: First Call for Papers (1 message, latest: Nov 06 2020 at 13:32)
[isabelle] Code generation: transitive closure of inducti… (5 messages, latest: Nov 04 2020 at 20:21)
[isabelle] General timeout for tactics (9 messages, latest: Nov 04 2020 at 19:18)
[isabelle] pat_completeness exception (1 message, latest: Nov 03 2020 at 12:50)
[isabelle] Performance problem with Simpl and Isabelle si… (1 message, latest: Nov 01 2020 at 11:46)
[isabelle] Sledgehammer proof reconstruction failed (2 messages, latest: Oct 31 2020 at 08:50)
[isabelle] Name clash in “let” definitions (4 messages, latest: Oct 29 2020 at 11:02)
[isabelle] FSCD 2021: Call for Workshop Proposals (1 message, latest: Oct 28 2020 at 11:35)
[isabelle] New in the AFP: A Sound Type System for Physic… (1 message, latest: Oct 28 2020 at 11:29)
[isabelle] writing a proof method after “qed” (4 messages, latest: Oct 28 2020 at 10:54)
[isabelle] Second Call for Presentations: PriSC 2021 @ PO… (1 message, latest: Oct 28 2020 at 09:23)
[isabelle] Research position at fortiss, Munich (1 message, latest: Oct 27 2020 at 09:31)
[isabelle] Faculty position at Portland State University (1 message, latest: Oct 26 2020 at 11:18)
[isabelle] CADE-28: Call for Papers, Workshops, Tutorials… (1 message, latest: Oct 21 2020 at 11:32)
[isabelle] Survey Paper (4 messages, latest: Oct 20 2020 at 13:09)
[isabelle] Research position in Formal Verification (m/f/… (1 message, latest: Oct 20 2020 at 12:08)
[isabelle] Benchmark suite for Isabelle’s rewrite tactic (2 messages, latest: Oct 19 2020 at 15:49)
[isabelle] make Isabelle accessible? (1 message, latest: Oct 19 2020 at 08:28)
[isabelle] Error in Eisbach syntax diagram (2 messages, latest: Oct 19 2020 at 00:57)
[isabelle] scope of facts arising from subgoal (3 messages, latest: Oct 17 2020 at 22:19)
[isabelle] Weak lemmas in HOL-Analysis.Affine (6 messages, latest: Oct 17 2020 at 13:29)
[isabelle] clashes in _graph names generated by mutual re… (1 message, latest: Oct 15 2020 at 21:17)
[isabelle] Degree of an almost everywhere constant function (2 messages, latest: Oct 15 2020 at 14:47)
[isabelle] list_all vs set membership (4 messages, latest: Oct 15 2020 at 08:20)
[isabelle] PhD and Postdoc positions at the University of… (1 message, latest: Oct 09 2020 at 20:13)
[isabelle] CfP: AMAI Special Issue on Theoretical and Pra… (1 message, latest: Oct 08 2020 at 10:44)
[isabelle] finite order allows maxima (12 messages, latest: Oct 07 2020 at 19:50)
[isabelle] Duplicate algebra tactic (1 message, latest: Oct 07 2020 at 14:13)
[isabelle] Questions on locales - structure keyword and l… (1 message, latest: Oct 07 2020 at 09:00)
[isabelle] Unnecessary assumption in HOL-Analysis.Convex…. (1 message, latest: Oct 06 2020 at 09:21)
[isabelle] Unnecessary assumption in HOL-Analysis.Convex…. (1 message, latest: Oct 06 2020 at 09:03)
[isabelle] How to make Eisbach’s match functionality avai… (2 messages, latest: Oct 05 2020 at 22:42)
[isabelle] 16 inch MacBook Pro benchmarks (2 messages, latest: Sep 29 2020 at 18:44)
[isabelle] Minimal system requirements for Isabelle? (3 messages, latest: Sep 28 2020 at 10:49)
[isabelle] NASA Formal Methods 2021 - First Call for Papers (1 message, latest: Sep 25 2020 at 09:33)
[isabelle] update Isabelle2019->20, session (2 messages, latest: Sep 25 2020 at 08:44)
[isabelle] A question about the submission guidelines for… (7 messages, latest: Sep 22 2020 at 02:15)
[isabelle] New in the AFP: Extended Finite State Machines (1 message, latest: Sep 19 2020 at 06:22)
[isabelle] A bundle of ATP entries (1 message, latest: Sep 18 2020 at 14:45)
[isabelle] CPP 2021 abstract deadline due very soon (1 message, latest: Sep 16 2020 at 17:45)
[isabelle] FMCAD’20 (Sept 21 to 24) - Call for Participation (1 message, latest: Sep 09 2020 at 08:28)
[isabelle] cartouches and outer syntax (7 messages, latest: Sep 08 2020 at 10:10)
[isabelle] More on “References about mistakes and gaps in… (2 messages, latest: Sep 08 2020 at 09:11)
[isabelle] Postdoc position on Formal Methods and Testing… (1 message, latest: Sep 04 2020 at 09:14)
[isabelle] New in the AFP: inductive inference of recursi… (1 message, latest: Sep 02 2020 at 11:29)
[isabelle] New AFP entry: Putting the `K’ into Bird’s der… (1 message, latest: Sep 02 2020 at 10:27)
[isabelle] linarith_split_limit_exceeded (current value i… (4 messages, latest: Sep 01 2020 at 19:31)
[isabelle] Isabelle proving theorem with translation (1 message, latest: Sep 01 2020 at 11:14)
[isabelle] Numbers reported in “Timing” panel (6 messages, latest: Sep 01 2020 at 10:44)
[isabelle] Strange behaviour of subst/EqSubst.eqsubst_tac (3 messages, latest: Aug 31 2020 at 20:35)
[isabelle] Isabelle document fails with non-descriptive e… (3 messages, latest: Aug 31 2020 at 14:59)
[isabelle] New in the AFP: Practical Algebraic Calculus C… (1 message, latest: Aug 31 2020 at 13:01)
[isabelle] Tracing resolution proofs (3 messages, latest: Aug 31 2020 at 12:22)
[isabelle] Add comments to the text generated by induct rule (1 message, latest: Aug 27 2020 at 12:43)
[isabelle] New in the AFP: Relational Disjoint-Set Forests (1 message, latest: Aug 26 2020 at 12:49)
[isabelle] List minimality proof (4 messages, latest: Aug 26 2020 at 08:26)
[isabelle] LFMTP 2020 Post-Proceedings: Call for Papers (1 message, latest: Aug 26 2020 at 01:19)
[isabelle] Handmade transfer rules not invoked (2 messages, latest: Aug 25 2020 at 17:24)
[isabelle] Unfold short tactics in Isar. (blast, etc) (18 messages, latest: Aug 24 2020 at 13:23)
[isabelle] Postdocs available in formal analysis of code … (1 message, latest: Aug 23 2020 at 20:17)
[isabelle] 16‑inch MacBook Pro (2 messages, latest: Aug 23 2020 at 19:32)
[isabelle] A suggestion: call eval with try0 (2 messages, latest: Aug 21 2020 at 21:02)
[isabelle] A question about an article about Isabelle/HOL/ZF (3 messages, latest: Aug 21 2020 at 20:56)
[isabelle] counter-intuitive definition of the lexicograp… (2 messages, latest: Aug 21 2020 at 08:33)
[isabelle] Translation of TPTP to Isabelle/HOL? (1 message, latest: Aug 21 2020 at 07:44)
[isabelle] Translation of Isabelle/ZF statements into met… (3 messages, latest: Aug 20 2020 at 14:35)
[isabelle] Notation for Pure.all may not work. Bug or fea… (2 messages, latest: Aug 20 2020 at 12:16)
[isabelle] CADE-28 Call for Papers, Workshops, Tutorials,… (1 message, latest: Aug 19 2020 at 09:46)
[isabelle] Superscript argument to a function (5 messages, latest: Aug 19 2020 at 02:48)
[isabelle] New AFP entry: Ordinal Partitions (1 message, latest: Aug 18 2020 at 10:31)
[isabelle] Certified Programs and Proofs (CPP) 2021: Fina… (1 message, latest: Aug 18 2020 at 01:33)
[isabelle] Code generation of a definition obtained throu… (2 messages, latest: Aug 17 2020 at 17:50)
[isabelle] Issue with pattern_aliases and let (3 messages, latest: Aug 17 2020 at 13:11)
[isabelle] AFP/Containers, “HOL-Library.Numeral_Type”, co… (4 messages, latest: Aug 16 2020 at 13:57)
[isabelle] New AFP entry: Amicable Numbers (1 message, latest: Aug 15 2020 at 08:18)
[isabelle] Duplicate fact declaration “RBT.color.simps” v… (3 messages, latest: Aug 14 2020 at 13:58)
[isabelle] Union of RBT sets (2 messages, latest: Aug 13 2020 at 11:17)
[isabelle] Unbound schematic variable: ?thesis (4 messages, latest: Aug 08 2020 at 10:10)
[isabelle] Accessing the proof context from ML (4 messages, latest: Aug 07 2020 at 17:04)
[isabelle] How to edit the Isabelle sources? (2 messages, latest: Aug 05 2020 at 14:40)
[isabelle] Cl-isabelle-users Digest, Vol 182, Issue 4 (1 message, latest: Aug 05 2020 at 12:44)
[isabelle] Isabelle build failure for ’threads=1’ (2 messages, latest: Aug 05 2020 at 09:50)
[isabelle] Exporting local setup to global context (3 messages, latest: Aug 05 2020 at 09:50)
[isabelle] [Isabelle] Isabelle proving theorem with trans… (1 message, latest: Aug 05 2020 at 09:43)
[isabelle] New in the AFP: The Chandy–Lamport Distribute… (1 message, latest: Aug 04 2020 at 11:49)
[isabelle] Record update syntax (8 messages, latest: Aug 03 2020 at 14:14)
[isabelle] Unexpected behaviour of lemmas x = … for A (1 message, latest: Jul 29 2020 at 12:02)
[isabelle] Isabelle standard mathematics library, HOL-Ana… (10 messages, latest: Jul 28 2020 at 15:30)
[isabelle] Various “models” of extended reals and impacts… (9 messages, latest: Jul 28 2020 at 09:36)
[isabelle] New AFP entry: Relational Characterisations of… (1 message, latest: Jul 28 2020 at 07:59)
[isabelle] Rosetta Code (7 messages, latest: Jul 28 2020 at 00:51)
[isabelle] new bibitems in document preparation (1 message, latest: Jul 27 2020 at 10:52)
[isabelle] Representing type dependencies in Isabelle/HOL… (1 message, latest: Jul 25 2020 at 20:51)
[isabelle] Standard group theory in Isabelle/HOL and in d… (1 message, latest: Jul 24 2020 at 14:37)
[isabelle] Importing from session 2019 vs. 2020 (1 message, latest: Jul 24 2020 at 13:58)
[isabelle] Standard group theory in Isabelle/HOL – Isabel… (7 messages, latest: Jul 24 2020 at 08:50)
[isabelle] Summer School on Programming Languages and Ver… (1 message, latest: Jul 23 2020 at 08:40)
[isabelle] ML style “functors” for Isabelle theories? (3 messages, latest: Jul 21 2020 at 22:37)
[isabelle] Isabelle standard mathematics library, HOL-Ana… (1 message, latest: Jul 21 2020 at 20:38)
[isabelle] get set of (proper) divisors for a specific nu… (5 messages, latest: Jul 20 2020 at 15:50)
[isabelle] FTfJP 2020 (virtual) - Call for Participation … (1 message, latest: Jul 17 2020 at 07:46)
[isabelle] File antiquotation broken after Theory.join_th… (2 messages, latest: Jul 16 2020 at 21:07)
[isabelle] Folding abbreviations with TYPE(_) parameters (1 message, latest: Jul 14 2020 at 12:29)
stream events (1 message, latest: Jul 13 2020 at 21:03)
Last updated: Jun 22 2021 at 08:00 UTC