Tensorgami is a public mathematical workbench by Henry Shin. Its purpose is to make mathematical mechanisms explicit: the reductions, normal forms, finite certificates, algorithms, and obstructions that make an argument work.
The archive includes proof notes, expository reconstructions, problem sets, and formalized fragments. Some entries record new arguments, extraction formulas, or finite certificates; others rebuild known results in concrete, algorithmic, inspectable form. Lean is used selectively when formal verification clarifies the argument.
Where an entry contains a new argument, construction, independent solution, or formalization, the note page identifies the contribution explicitly.
Henry Shin studied mathematics at Harvard, where he was a student of Richard Taylor.
Contact: hkshin@alumni.harvard.edu