Skip to content
@primateria

primateria

Popular repositories Loading

  1. erdos608 erdos608 Public

    A machine-checked disproof of Erdős problem #608 in Lean 4 / mathlib (Füredi–Maleki construction, explicit ε = 47/7056)

    Lean 1

  2. mlx-kfac mlx-kfac Public

    MLX implementation of Kronecker-factored approximate curvature (KFAC)

    Python

Repositories

Showing 2 of 2 repositories
  • mlx-kfac Public

    MLX implementation of Kronecker-factored approximate curvature (KFAC)

    primateria/mlx-kfac's past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 31, 2026
  • erdos608 Public

    A machine-checked disproof of Erdős problem #608 in Lean 4 / mathlib (Füredi–Maleki construction, explicit ε = 47/7056)

    primateria/erdos608's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Jul 29, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Python Lean

Most used topics

Loading…