Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
Yesterday
Yesterday
tuned: more standard order;
clarified signature;
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb5a552d12e9b: sitegen.
sitegen
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP068d4f8c4523: adjust Euler_Polyhedron_Formula to AFP-devel.
adjust Euler_Polyhedron_Formula to AFP-devel
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc984814c0dae: merge from AFP 2023.
merge from AFP 2023
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2fae9e7720c8: metadata for Lovasz_Local and Hypergraph_Basics.
metadata for Lovasz_Local and Hypergraph_Basics
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd13e89c64991: corrected metadata: doi -> acm identifier.
corrected metadata: doi -> acm identifier
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP0470f69fa3eb: new entry: Lovasz_Local.
new entry: Lovasz_Local
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPaf121f50106a: metadata and sitegen for Euler Polyhedron Formula.
metadata and sitegen for Euler Polyhedron Formula
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP334cb365ebec: new entry: Hypergraphs.
new entry: Hypergraphs
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2933efae0884: new entry: Euler's Polyhedron Formula.
new entry: Euler's Polyhedron Formula
proper fontenc for cartouches (amending d052d61da398);
Thu, Sep 21
Thu, Sep 21
clarified modules;
clarified modules;
clarified signature;
more robust: prefer linear data flow;
Wed, Sep 20
Wed, Sep 20
desharna committed rISABELLEa98e0a816d28: added first proof reconstruction test for Sledgehammer.
added first proof reconstruction test for Sledgehammer
Tue, Sep 19
Tue, Sep 19
clarified signature;
clarified signature (again): follow Isabelle/Java/Scala;
tuned (following 69c6d3e87660);
makarius committed rISABELLE66e7a3131fe3: tuned --- avoid pointless indirection (see also a2df9de46060);.
tuned --- avoid pointless indirection (see also a2df9de46060);
Mon, Sep 18
Mon, Sep 18
dcjm committed rPOLYML90c0dbb2514e: Rebuild configure files after version update. Remove some macros from… (authored by dcjm).
Rebuild configure files after version update. Remove some macros from…
Update version numbers for release.
Sun, Sep 17
Sun, Sep 17
paulson <lp15@cam.ac.uk> committed rISABELLEf8595f6d39a5: (pointlessly) get rid of some simp calls within "proof".
(pointlessly) get rid of some simp calls within "proof"
Sat, Sep 16
Sat, Sep 16
reduced prominence of lemma names
reduced prominence of lemma names
new formulation of an auxiliary lemma
Fri, Sep 15
Fri, Sep 15
paulson <lp15@cam.ac.uk> committed rISABELLEd900ff3f314a: A few more inclusion-exclusion theorems from HOL Light.
A few more inclusion-exclusion theorems from HOL Light
Thu, Sep 14
Thu, Sep 14
Corrected type calculation.
Fabian Huch <huch@in.tum.de> committed rAFP6a4e531c5c65: adapted ROOT file link to afp-2023;.
adapted ROOT file link to afp-2023;
some hints on managed installations
florian.haftmann committed rISABELLEd052d61da398: prefer cartouches over quotes for clarity of resulting document.
prefer cartouches over quotes for clarity of resulting document
Wed, Sep 13
Wed, Sep 13
web: 2023 downlaod links