Pinned Loading

1. validator validator Public

   Formally Verified Validator for Unsolvability Certificates for Automated Planning in Lean 4

   Lean 2 1

2. lean4-strips lean4-strips Public

   Formalisation of the STRIPS planning formalism in Lean 4. The formalisation is aimed to be both easy to work with for theoretical purposes and efficient at runtime.

   Lean 1

3. lean4-parser lean4-parser Public

   Forked from fgdorais/lean4-parser

   Parser Combinator Library for Lean 4

   Lean

4. lean4-bdd lean4-bdd Public

   Forked from eshelyaron/lean4-bdd

   Binary Decision Diagrams in Lean 4

   Lean

5. fgdorais/lean4-parser fgdorais/lean4-parser Public

   Parser Combinator Library for Lean 4

   Lean 84 9

6. eshelyaron/lean4-bdd eshelyaron/lean4-bdd Public

   Binary Decision Diagrams in Lean 4

   Lean 14 5