Cl-isabelle-users April 2021 Archives by subject

• April 2021 messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...
• List archive Table of Contents

• [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
  • Achim D. Brucker, brucker at spamfence.net - Tue, 06 Apr 2021 19:46:30 +0100
• [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
  • Mikhail Mandrykin, mandrykin at ispras.ru - Fri, 16 Apr 2021 20:05:53 +0100
• [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
  • Marmsoler, Diego, D.Marmsoler at exeter.ac.uk - Fri, 09 Apr 2021 09:53:19 +0100
• [isabelle] isabelle ghc_setup
  • Peter Lammich, lammich at in.tum.de - Tue, 13 Apr 2021 17:15:03 +0100
• [isabelle] Issues with locale interpretation
  • Lawrence Paulson, lp15 at cam.ac.uk - Fri, 09 Apr 2021 12:23:34 +0100
  • Clemens Ballarin, ballarin at in.tum.de - Sun, 11 Apr 2021 10:52:47 +0100
  • Lawrence Paulson, lp15 at cam.ac.uk - Sun, 11 Apr 2021 18:01:24 +0100
• [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
  • Andreas Lochbihler, mail at andreas-lochbihler.de - Thu, 01 Apr 2021 11:14:30 +0100
• [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
  • Alexander Baumgartner via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk - Thu, 01 Apr 2021 05:36:10 +0100
• [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
  • MACKENZIE Carlin, s1724780 at sms.ed.ac.uk - Tue, 06 Apr 2021 10:11:35 +0100