HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
tjsquared
81 days ago
|
parent
|
context
|
favorite
| on:
Palomar: A registry of Lean verified mathematics
It's nice to see Terry not only accepting the assistance of AI in mathematics but helping to strengthen the formalization infrastructure for the AI and Math communities.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search:
