GitHub repository: park-sewon/coq-clerical
Primary language: Coq
Created: 2023-07-04T13:10:55Z
Description: Coq formalization of Clerical