Toggle navigation
Henry Díaz Bordón
Home
About
Publications
Posts
-- All --
The Golden Ratio and the Metallic Numbers
Type Theory, Lean, and “Perfect” Mathematics
Previous
Next
GitHub
Publications
Publications
nothing here yet :P