GitHub repository: FMFI-UK-1-AIN-412/proof-assistant
Primary language: Elm
Created: 2018-05-30T16:29:29Z
Description: Proof assistant