Skip to content

Extending a toy compiler written in Agda... by Proving It Correct!

Notifications You must be signed in to change notification settings

sudonatalie/VerifiedCompiler

Repository files navigation

About

Extending a toy compiler written in Agda... by Proving It Correct!

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages