argument.xyz
Argument — Proof-carrying code for Lean 4
- Body text
- Commit Mono
- Headings
- Commit Mono
Last checked Sep 23, 2026. Run this site and want it removed? Request an opt-out.
All text on the page
- Commit Mono100%
Loading
- Served by
- Self-hosted
- Font files
- 87 KB
- Preloaded fonts
- 0
- Families declared
- 1
- Platform
- Custom or unknown
- Font hosts
- argument.xyz
History
Each row is a stretch of time where the fonts stayed the same. Rows marked Web archive are estimates from saved copies of the page and less reliable than our own crawl.
- Sep 23, 2026Our crawlCommit Mono
Every font face the page declares (1)
| Family as declared | Weights | Variable | Used |
|---|---|---|---|
| Commit Mono | 200 700 | Yes | Yes |