pith. machine review for the scientific record. sign in

Stratigraphy

Stratigraphy modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

1 module · 4 thm/lemma · 72 lines
module thm lemma def lines papers
Stratigraphy.VarveThicknessFromJCost 4 0 3 72 —

full source mirrored from github.com/jonwashburn/shape-of-logic