The Machine-Checked Complete Formalization of Landau’s Foundations of Analysis in Rocq
Formal verification has achieved remarkable outcomes in both theory advancement and engineering practice, with the formalization of mathematical theories serving as its foundational cornerstone—making this process particularly critical. Axiomatic set theory underpins modern mathematics, providing th...
Сохранить в:
| Главные авторы: | , , |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
MDPI AG
2025-12-01
|
| Серии: | Mathematics |
| Предметы: | |
| Online-ссылка: | https://www.mdpi.com/2227-7390/14/1/61 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|