Skip to content
SPB Git
Repositories
Activity
API
Search repositories, files, commits…
⌘K
spboucher.ai
spb
/
wp28_uqo
Public
20
commits
1
branches
0
releases
272.5 MB
on disk
main
default branch
4 days ago
last push
TeX
61.1%
Python
37.9%
Shell
0.9%
Code
Commits
20
Branches
1
Releases
0
Insights
Branch or tag
main (default)
wp28_uqo
theory
Files
History
Clone
Name
Last commit
Updated
..
lean
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
4 days ago
ASSUMPTIONS.md
WP28: literature audits C-D, PRIOR_ART_MATRIX (56 rows), PRIORITY_AND_GAP,...
5 days ago
symbolic_checks.py
WP28: pamle library (models, splits, Newton variants, CSL/AEE/Cox-Snell),...
5 days ago
THEOREM_AUDIT.md
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
4 days ago
Clone wp28_uqo
HTTPS
Copy
Anonymous clone and fetch. Pushing requires the owner's personal access token.
spbgit CLI
Copy
ZIP
tar.gz
snapshot of
main
Files ·
main
Menu
Home
Repositories
Activity
Commit calendar
Search
JSON API
Atom feed
spboucher.ai
contact@spboucher.ai
Theme
System
Light
Dark
Midnight
System
Light
Dark
Midnight
All
Repos
Files
Commits
Branches