GitHub repository: jzagoli/ImpCoq
Primary language: Coq
Created: 2022-07-27T09:06:48Z
Description: An implementation of the IMP language in Coq with two proofs.