Dashboard layer
TheoremCandidateBrowser filters claim, source, D, Dom, proof-object, dependency graph, morphism gate, Fano gate, evidence gate, blockers and status.
Theorem-candidate browser
TheoremCandidateBrowser filters claim, source, D, Dom, proof-object, dependency graph, morphism gate, Fano gate, evidence gate, blockers and status.