This site is supported by donations to The OEIS Foundation.
User:Charles Cornell Norton
From OeisWiki
Jump to navigationJump to search
Formalization Engineer specializing in machine-verified mathematics using Coq/Rocq. ML Librarian at Voxel51. Previously led client retention at Kraken during 100x growth. Contributor to Coq-HoTT (stable categories). Notable formalizations include the Intel 4004 microprocessor, RFC 3596 (DNS IPv6), RFC 9535 (JSONPath), and origami axioms. GitHub: https://github.com/CharlesCNorton
