Skip to content
Proofs and Prompts
Notes from the common room
Start here
Posts
Submit
Newsfeed
Forum
Contributors
About
Search
Benjamin Friedman
13 November 2026
Human skepticism and formal verification
by
Benjamin Friedman
Lean
·
Philosophy
·
Understanding
1 comment
on Human skepticism and formal verification
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website
