Cl-isabelle-users April 2021 Archives by author

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

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