[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] Sledgehammer proof reconstruction failed (1 message, latest: Oct 13 2020 at 18:34)
[isabelle] How do I set –maxheap greater than 16G on Linux? (2 messages, latest: Oct 10 2020 at 16:57)
[isabelle] Improvement suggestion for isabelle process (1 message, latest: Oct 10 2020 at 09:03)
[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] quote in mixfix annotation (1 message, latest: Oct 06 2020 at 08:05)
[isabelle] How to make Eisbach’s match functionality avai… (2 messages, latest: Oct 05 2020 at 22:42)
[isabelle] Lemma suggestion to Function_Algebras (2 messages, latest: Oct 05 2020 at 01:05)
[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] Implicit exporting of goal state by different … (1 message, latest: Sep 17 2020 at 17:01)
[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: Oct 30 2020 at 02:00 UTC