[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] Isabelle document generation and ACM and LIPIc… (1 message, latest: Jan 20 2021 at 07:37)
[isabelle] Console errors in AFP build after push (3 messages, latest: Jan 19 2021 at 18:00)
[isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish (2 messages, latest: Jan 19 2021 at 17:36)
[isabelle] Isabelle2021-RC2: Problems downloading (8 messages, latest: Jan 19 2021 at 15:56)
[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] Isabelle2021-RC2: improved HTML presentation (5 messages, latest: Jan 18 2021 at 16:14)
[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] [CFP] Logical Frameworks and Meta-Languages: T… (1 message, latest: Jan 16 2021 at 11:52)
[isabelle] AFP 2021 preparations (2 messages, latest: Jan 15 2021 at 10:24)
[isabelle] Isabelle2021-RC1 - Any way to limit “veriT” me… (8 messages, latest: Jan 14 2021 at 16:28)
[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] Isabelle2021-RC2: slight regression in HTML ou… (1 message, latest: Jan 12 2021 at 23:34)
[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] Isabelle2021-RC0: Java/VM monitor (6 messages, latest: Jan 10 2021 at 19:25)
[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] Call for Papers: Tests and Proofs 2021 (TAP 2021) (1 message, latest: Jan 06 2021 at 10:08)
[isabelle] ITP2021: Second Call for Workshops (Deadline 1… (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] Bug report Isabelle 2019 and Isabelle 2020 (8 messages, latest: Jan 02 2021 at 10:40)
[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:36)
[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: Jan 22 2021 at 16:01 UTC