Tools for managing the dependencies between proofs, and querying and searching the database.

Tools for managing dependencies between proofs:

  • DAMF: Distributed Assertion Management Framework

Tools for indexing definitions and theorems:

Tools for searching libraries: