Lean Pool to repozytorium sformalizowanej matematyki, które jest rozwijane, utrzymywane i optymalizowane przez agentów AI. Projekt automatyzuje proces formalizacji wiedzy matematycznej.
🔥
Używamy plików ciasteczka, aby zapewnić Ci jak najlepsze wrażenia z korzystania z naszej witryny. Jeśli nadal będziesz korzystać z tej witryny, będziemy zakładać, że jesteś z niej zadowolony.
