Skip to content
Proofs and Prompts
Notes from the common room
Start here
Posts
Submit
Newsfeed
Forum
Contributors
About
Search
Lean
8 September 2026
(auto)formalization, but why
by
Seewoo Lee
Formalization
·
Lean
·
Reflection
·
Understanding
3 comments
on (auto)formalization, but why
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website
