| Name | Last commit | Updated |
|---|
|
..
|
|
appendices
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
figures
|
WP28: Monte Carlo section, table layout (4 local sizes), canonical figures |
|
|
sections
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
tables
|
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) |
|
|
.latexmkrc
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
main.pdf
|
WP28: Monte Carlo section, table layout (4 local sizes), canonical figures |
|
|
main.tex
|
WP28: displayed equations throughout, GPT-6.1 author mention removed,... |
|
|
Makefile
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
|
references.bib
|
WP28: manuscript draft (theory sections, proofs, bibliography) compiles |
|
|
uq_logo.jpg
|
WP28: phase 0 — workspace, frozen prior draft, replication lock |
|
