Los mejores proyectos open source en Lean

Formalización en Lean 4 del Stacks Project, la referencia de código abierto sobre geometría algebraica, basada en Mathlib y con demostraciones verificadas por máquina.

Primitivas de Ethereum verificadas formalmente y escritas en Lean, concebidas como una biblioteca compartida de especificaciones y demostraciones para proyectos Lean.

Framework para Lean 4 que permite demostrar con verificación mecánica la corrección y la seguridad de memoria del CIL de .NET compilado desde C#, F# y otros lenguajes .NET.

Framework de Lean 4 para especificar, ejecutar y verificar formalmente redes neuronales, con tensores que comprueban las dimensiones y entrenamiento al estilo de PyTorch.