GitHub repository: Deducteam/Logipedia
Primary language: OCaml
Created: 2018-05-14T07:27:35Z
Description: An encyclopedia of proofs