Cl-isabelle-users November 2020 Archives by date
- Tue, 03 Nov 2020
- Wed, 04 Nov 2020
- Fri, 06 Nov 2020
- Sat, 07 Nov 2020
- Re: [isabelle] Improvement suggestion for isabelle process - Makarius, makarius at sketis.net
- [isabelle] Definitional axioms in Isabelle/ML? - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
- Re: [isabelle] Definitional axioms in Isabelle/ML? - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Makarius, makarius at sketis.net
- Re: [isabelle] How do I set --maxheap greater than 16G on Linux? - Makarius, makarius at sketis.net
- Re: [isabelle] How do I set --maxheap greater than 16G on Linux? - Eugene W. Stark, isabelle-users at starkeffect.com
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Mikhail Mandrykin, mandrykin at ispras.ru
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Mikhail Mandrykin, mandrykin at ispras.ru
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Makarius, makarius at sketis.net
- Mon, 09 Nov 2020
- Tue, 10 Nov 2020
- Thu, 12 Nov 2020
- Fri, 13 Nov 2020
- Sat, 14 Nov 2020
- Sun, 15 Nov 2020
- Mon, 16 Nov 2020
- Tue, 17 Nov 2020
- Wed, 18 Nov 2020
- Thu, 19 Nov 2020
- Fri, 20 Nov 2020
- Sat, 21 Nov 2020
- Mon, 23 Nov 2020
- Tue, 24 Nov 2020
- Thu, 26 Nov 2020
- Fri, 27 Nov 2020
- Sat, 28 Nov 2020
- Sun, 29 Nov 2020
- Mon, 30 Nov 2020
- [isabelle] New in the AFP: Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information - Thiemann, René, Rene.Thiemann at uibk.ac.at
- [isabelle] fully funded PhD position at University of Sheffield on the formal verification of industrial robots - Andrei Popescu, andrei.h.popescu at gmail.com
- Re: [isabelle] Observations on ZF - Lawrence Paulson, lp15 at cam.ac.uk
- [isabelle] Final Deadline - Survey on the AFP - MACKENZIE Carlin, s1724780 at sms.ed.ac.uk
- [isabelle] Unknown JAVA_HOME -- Java unavailable - Kawin Worrasangasilpa, kw448 at cam.ac.uk
- [isabelle] Isabelle2021-RC0 available for early experiments - Makarius, makarius at sketis.net
- Re: [isabelle] Unknown JAVA_HOME -- Java unavailable - Makarius, makarius at sketis.net
- [isabelle] Sub/superscripts in document preparation - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
- [isabelle] State of affairs with words - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.