F-Keys Creative LLC.
| Entity | F-Keys Creative LLC (Florida) |
|---|---|
| Trading as | F-Keys |
| Based in | Punta Gorda, Florida |
| Live products | thirty-two |
| ORCID | 0009-0005-3640-014X |
| Source | github.com/vince-gonzalez |
| Contact | [email protected] |
Built and maintained end to end: architecture, both ends, database, deployment, documentation.
Provenance — what a result rests on. gonzalgo reads a compiled Lean 4 or Metamath library and reports which axioms a theorem spends rather than inherits. OpticQuiz runs one color-vision engine across every channel it ships to, with the JavaScript and Python implementations verified identical to six decimal places, and publishes the calibration limits that bound its own results.
Accessibility · hardware interfaces · creator tools · gaming · formal methods · the open web.