Popular repositories Loading

1. PDDL_STRIPS_Verified_Validator PDDL_STRIPS_Verified_Validator Public

   A verified validator for PDDL

   Standard ML 1 1

2. Verified-SAT-Based-Planning Verified-SAT-Based-Planning Public

   Standard ML 1

3. minisat minisat Public

   Forked from dddejan/minisat

   A minimalistic and high-performance SAT solver

   C++

4. fds_ss20 fds_ss20 Public

   Public Repository for the Functional Data Structures Course

5. archive-of-graph-formalizations archive-of-graph-formalizations Public

   Forked from cmadlener/archive-of-graph-formalizations

   This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.

   Isabelle

6. poly-reductions poly-reductions Public

   Forked from wimmers/poly-reductions

   Polynomial-time reductions in Isabelle/HOL

   Isabelle