Skip to content
Proofs and Prompts
Posts
Submit
Newsfeed
Contributors
About
Search
Contributor:
Seewoo Lee
Sep 8, 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