6 ms·
Just package the proof as a library and put it in some source code repository like github.
by rowanG077 28d ago
Just package the proof as a library and put it in some source code repository like github.
- Jblx2 28d agoApparently, it is Palomar: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ https://terrytao.wordpress.com/2026/08/18/palomar-a-registry...