Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Recurso digital |
| Kieli: | |
| Julkaistu: |
Zenodo
2026
|
| Aiheet: | |
| Linkit: | https://doi.org/10.5281/zenodo.20075260 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Sisällysluettelo:
- <p>Lean 4 and Mathlib formalization work for the C2 framework, including operator, identity, transfer, off-axis verification, generated numerical certificate hooks, and public API endpoints connected to the C2</p>