/proofs

A collection of mechanised proofs

Primary LanguageAMPL

Stargazers