Ascetic Slug
Ascetic Slug
Posts
Publications
About me
Contact
Light
Dark
Automatic
Verification
Run-length encoding verified in Agda
This post is intended to be a guided exercise (with a proposed solution) for Agda beginner's who are familiar with the basics and want to work on a slightly more involved exercise than proving basic properties about natural numbers.
Sep 7, 2019
Agda
,
Verification
Cite
×