GitHub repository: mit-plv/rupicola
Primary language: Rocq Prover
Created: 2020-01-23T18:09:59Z
Description: Gallina to Bedrock2 compilation toolkit