Proof Explorer

Navigate the latent space of formal proofs. Each node represents a theorem, lemma, or definition from the HeytingLean proof corpus. Explore connections, filter by category, and discover structural patterns in mathematical knowledge.