Formalizing Structural Graph Theory in Lean 4

Files

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean TreeCounting.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Sparsity.lean VC.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Contract.lean Full.lean

Select a file to view.