SPB Git

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
lean WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
ASSUMPTIONS.md WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
symbolic_checks.py WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell),...
THEOREM_AUDIT.md WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)

Clone wp28_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of 0a1c470d4ca522b2576819112daf78116d0c1d99
Files · 0a1c470d4ca522b2576819112daf78116d0c1d99
Menu

Theme