The DebianScience/Logic subproject aims at packaging software that is about computational logics, that is tools to manipulate logic formulas (like transformations between different logics, transformation into normal form, etc.), to solve formulas (SAT solvers, SMT solvers, first-order logic decision procedures, etc.), interactive proof systems, and so on. Any kind of logic formalism (propositional, first-order, higher-order, modal, ...) is of interest.
For the moment we are collecting tools that would belong to this category, before moving on to further integration into the debian infrastructure (creating a blend, ...). Also, there is some intersection with DebianScience/Mathematics that has to be clarified.
Packages owned by DebianScience
Packages already in Debian but not owned by DebianScience
coq (should stay with Debian Ocaml Maintainers)
matita (should stay with Debian Ocaml Maintainers)
Requested to Package
isabelle RFP bug