The notebook
Recent writing
Can We Make the CFSG Formalization Shorter?
Exploring shared proofs, compact data, and redundant imports in a large Lean formalization.
Questions worth
staying with.
On computation, systems, and intelligence
On computation, systems, and intelligence