Independent products built by Vincent Gonzalez.
| Entity | F-Keys Creative LLC (Florida) |
|---|---|
| Trading as | F-Keys |
| ORCID | 0009-0005-3640-014X |
| Contact | [email protected] |
F-Keys is Vince Gonzalez, working alone. Twenty-two products are live, from browser games to formal proof tooling, and each is built end to end by the same person: architecture, both ends, database, deployment, documentation.
Provenance - what a result actually rests on. gonzalgo reads a compiled Lean 4 or Metamath library and reports which axioms a theorem spends rather than quietly inherits. OpticQuiz runs one colour-vision engine across eight distribution channels, with its JavaScript and Python implementations verified identical to six decimal places, and publishes the calibration limits that keep its own results honest.
More than thirty works are deposited with DOIs. The packages are installed several hundred times a week.
Accessibility · hardware interfaces · creator tools · gaming · formal methods · the open web.