17 days
Exactly. This is how I find out people bring their phones into the shower.
goldenbug
- 0 posts
- 2 comments
Joined 3 years ago
Cake day: March 3rd, 2024
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4