GitHub repository: samsa1/usuba_coq
Primary language: Coq
Created: 2023-03-21T12:52:24Z
Description: Formalization of Usuba front-end in Coq