isa-afp
Repositories for the Archive of Formal Proofs
Read more