Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Log in
Register
linkhut
Bookmarks
from user:
kawcco
tagged with:
analysis
proof
formal-methods
Sort by:
recency
popularity
Order:
descending
ascending
01 Sep 25
Erdős Problems #379 - Discussion thread
https://www.erdosproblems.com/forum/thread/379
This is how we do math in the 21st century.
by
kawcco
5 months ago
Tags:
mathematics
analysis
proof
formal-methods