Repository Index

Lean certificates accompanying Navier-Stokes and Euler results

Cosette is an automated SQL solver.

• rosette
• coq
• sql
• database

A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.

• access-control
• authorization
• backend-framework
• cedar

Verifying Signal's security at the machine-code level

• formal-verification
• lean

A Lean formalization of the Classification of Finite Simple Groups