Cosette is an automated SQL solver.
Repository Index
78,851 visible repositories in the index
1–3 of 3 · Most stars
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project
78,851 visible repositories in the index
1–3 of 3 · Most stars
Cosette is an automated SQL solver.
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project