sbt build of the Archive of Formal Proofs (DISCONTINUED)
Primary LanguageScalaMIT LicenseMIT
No issues in this repository yet.