SPB Git

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
algorithms.tex WP28: manuscript draft (theory sections, proofs, bibliography) compiles
exponential.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
proofs.tex WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
replication.tex 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 b354e67fe9a9dddf46e3ddc150d36f0b626c0283
Files · b354e67fe9a9dddf46e3ddc150d36f0b626c0283
Menu

Theme