Skip to content
Proofs and Prompts
Notes from the common room
Start here
Posts
Submit
Newsfeed
Forum
Contributors
About
Search
Filippo Nuccio
8 November 2026
Formalisation as a concrete manifestation of mathematical understanding
by
Filippo Nuccio
Formalization
·
Open Access
·
Understanding
9 comments
on Formalisation as a concrete manifestation of mathematical understanding
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website
