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 searching proofs:
- FindFacts: search application to find formal theory content of Isabelle and the AFP
- SErAPIS: search engine for the Isabelle 2021 and Archive of Formal Proofs 2021 libraries
- Lambdapi >= 2.4.0 includes commands for indexing Dedukti and Lambdapi files, making complex search queries and running a web server for making queries on the web