GitHub repository: AU-COBRA/typed-extraction
Primary language: Coq
Created: 2022-08-24T13:00:24Z
Description: Verified coq extraction