GitHub repository: EUProofInfra/EUProofInfra
Primary language: TeX
Created: 2019-12-13T18:01:04Z
Description: European e-Infrastructure on Formal Proofs