Cl-isabelle-users April 2021 Archives by subject
- [isabelle] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP
- Chantal Keller, chantal.keller at wanadoo.fr - Mon, 12 Apr 2021 16:56:00 +0100
- [isabelle] Announcement: Isabelle/DOF 1.1.0
- [isabelle] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice
- Enrico Tassi, Enrico.Tassi at inria.fr - Sun, 11 Apr 2021 13:59:44 +0100
- Enrico Tassi, Enrico.Tassi at inria.fr - Fri, 16 Apr 2021 13:32:07 +0100
- [isabelle] Datatype definition can be slow
- He, Shuhan, 13061136 at buaa.edu.cn - Mon, 12 Apr 2021 15:39:59 +0100
- Dmitriy Traytel, traytel at di.ku.dk - Tue, 13 Apr 2021 15:50:46 +0100
- Manuel Eberl, eberlm at in.tum.de - Tue, 13 Apr 2021 16:01:12 +0100
- Dominique Unruh, unruh at ut.ee - Tue, 13 Apr 2021 17:07:04 +0100
- Manuel Eberl, eberlm at in.tum.de - Tue, 13 Apr 2021 17:11:49 +0100
- Jakub Kądziołka, kuba at kadziolka.net - Tue, 13 Apr 2021 17:14:32 +0100
- Manuel Eberl, eberlm at in.tum.de - Tue, 13 Apr 2021 17:16:06 +0100
- Dominique Unruh, unruh at ut.ee - Tue, 13 Apr 2021 17:36:51 +0100
- Dmitriy Traytel, traytel at di.ku.dk - Wed, 14 Apr 2021 00:02:16 +0100
- He, Shuhan, 13061136 at buaa.edu.cn - Fri, 16 Apr 2021 03:39:30 +0100
- [isabelle] Editing the Isabelle Wiki
- Marco David, mdavid8101 at gmail.com - Wed, 07 Apr 2021 17:12:21 +0100
- Makarius, makarius at sketis.net - Thu, 08 Apr 2021 10:59:14 +0100
- Lukas Stevens, lukas.stevens+isabelle-users at in.tum.de - Thu, 08 Apr 2021 11:40:13 +0100
- [isabelle] Exhaustiveness of Pure.type
- [isabelle] export code checking OCaml: zarith not found
- Peter Lammich, lammich at in.tum.de - Tue, 06 Apr 2021 12:48:49 +0100
- Makarius, makarius at sketis.net - Tue, 06 Apr 2021 13:07:44 +0100
- Peter Lammich, lammich at in.tum.de - Tue, 06 Apr 2021 15:09:15 +0100
- [isabelle] FMBC: Second Call for Papers
- [isabelle] isabelle ghc_setup
- Peter Lammich, lammich at in.tum.de - Tue, 13 Apr 2021 17:15:03 +0100
- [isabelle] Issues with locale interpretation
- [isabelle] Lemma like shiftr_bl but for sshiftr in Word Library
- Florian Märkl, isabelle-users at florianmaerkl.de - Sun, 18 Apr 2021 19:35:26 +0100
- [isabelle] New AFP entry: Information Flow Control via Dependency Tracking
- [isabelle] New in the AFP: Formalization of Timely Dataflow's Progress Tracking Protocol
- Tobias Nipkow, nipkow at in.tum.de - Fri, 16 Apr 2021 06:46:54 +0100
- [isabelle] New in the AFP: Grothendieck's Schemes in Algebraic Geometry
- Thiemann, René, Rene.Thiemann at uibk.ac.at - Fri, 09 Apr 2021 14:38:50 +0100
- [isabelle] Parsing term is easy with Scala, can similar approach be applied to the theory?
- Alex Meyer, alex153 at outlook.lv - Sun, 04 Apr 2021 13:37:01 +0100
- Dominique Unruh, unruh at ut.ee - Mon, 05 Apr 2021 01:08:50 +0100
- Re: [isabelle] Possible problem with floating-point addition in Approximation etc.
- Manuel Eberl, eberlm at in.tum.de - Wed, 07 Apr 2021 16:34:53 +0100
- [isabelle] Quickcheck reports an incorrect counterexample
- Eugene W. Stark, isabelle-users at starkeffect.com - Sun, 11 Apr 2021 14:56:05 +0100
- Tobias Nipkow, nipkow at in.tum.de - Mon, 12 Apr 2021 10:15:27 +0100
- Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de - Fri, 16 Apr 2021 06:27:40 +0100
- [isabelle] SMT 2021 Workshop: Final Call for Papers
- Nadel, Alexander, alexander.nadel at intel.com - Wed, 14 Apr 2021 06:33:18 +0100
- [isabelle] Symbolic execution in Isabelle.
- Thomas Melham, tom.melham at cs.ox.ac.uk - Sat, 17 Apr 2021 12:35:04 +0100
- [isabelle] UNIF 2021: second call for papers
- [isabelle] Pārs.: Parsing term is easy with Scala, can similar approach be applied to the theory?
- Alex Meyer, alex153 at outlook.lv - Sun, 04 Apr 2021 14:16:11 +0100
- Alex Meyer, alex153 at outlook.lv - Sun, 04 Apr 2021 23:49:20 +0100
- [isabelle] Results — Survey on the AFP
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.