Formalization of X

ID: formalization-of-x

Top articles Latest articles New article in topic
Formalization of X by Ciro Santilli 40 Created 2025-11-30 Updated 2026-02-08
This section is about formalization efforts of specific fields of mathematics.
Read the full article

New to topics? Read the docs here!