Lean-workbook-proofs

Lean-workbook-proofs הוא דאטהסט בקוד פתוח מאת Goedel-LM. הוא פורסם ב־Hugging Face ב־2025-01-29.

לא דווח רישיון בכרטיס של Lean-workbook-proofs. בהיעדר רישיון מפורש אין להניח שימוש מסחרי מותר.

786 הורדות ו־16 לייקים לפי Hugging Face. מספרי הורדה מודדים שימוש אוטומטי לא פחות מאשר אנושי, אז הם סימן לפופולריות ולא מדד איכות.