Mathematics
Adventures in Mathematics
A structured return to mathematical foundations: axioms, theorems, mathematical language, and Lean 4 formalization.
Explore mathematicsMathematics / Security / Formal methods
Rigorous ideas.
Working systems.
Exploring the foundations of mathematics, proof-driven engineering, and evidence-backed application security. Notes, tools, and experiments built in the open.
Proof-orientedOpen-sourceResearch in progress
THE REASONING STACK01 / 04
01FoundationsLogic · Sets · Structures
02TheoremsStatements · Dependencies · Proofs
03Formal verificationLean 4 · Explicit assumptions
04Evidence-backed engineeringAnalysis · Reproducibility · Security
Observe → specify → prove → validate
Selected work
Projects & research
Independent but connected lines of work, each with an explicit source of truth and a clear path for further exploration.
Interactive tool
Knowledge Explorer
Explore theorem relationships and mathematical structure through an interactive, data-backed graph.
Open explorerSecurity engineering
AppSec Review
A reproducible application-security review system built around explicit evidence, analysis coverage, and verification.
Explore AppSecIn the open
Notes from the workbench
Follow the actual public work as it changes. No manufactured metrics or fabricated project counts.
William Sollers
github.com/wsollers- Loading recent public GitHub activity…
Loaded from GitHub’s public Events API; no access token or private activity.
Learning in public
Study first, formalize later.
A mathematical statement comes first: its ambient structure, assumptions, dependencies, and proof. Formalization is the next layer, not a substitute for understanding.
Explore the study programThe existing explorer remains a distinct application with its own generated data pipeline. It is linked here now, with a focused design-system reskin planned separately.