---
title: "Classification of Finite Simple Groups Formalized in Lean"
description: "cfsg.axiommath.ai indexed from Hacker News."
canonical: "https://www.symbaiex.com/news/classification-of-finite-simple-groups-formalized-in-lean-50261647"
last-updated: "2026-10-27T16:29:02.000Z"
---
# Classification of Finite Simple Groups Formalized in Lean

Source: cfsg.axiommath.ai
Hacker News: https://news.ycombinator.com/item?id=50261647
Original source: https://cfsg.axiommath.ai/

This indexed story points to an external source article.