jmlowenthal/agda-c Issues
↝*-irr-cont postulate is false
Updated 3Proof of congruence properties
Updated 1Proof signatures
Updated 1Function equivalence
UpdatedRename `Base` to `Core`
UpdatedCompCert Clight
UpdatedLibrary functions
UpdatedHoare logic triples
UpdatedAlternative semantic models
Updated