pith. machine review for the scientific record. sign in

Root

Top-level imports and lake configuration.

2 modules · 0 thm/lemma · 49 lines
module thm lemma def lines papers
IndisputableMonolith 0 0 0 36 10
lakefile 0 0 0 13 —

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