GitHub repository: sfja/sfja
Primary language: Coq
Description: SoftwareFoundations(Ja)