Ascetic Slug
[home]
[blog]
Entries tagged :: Agda
.
2019-09-07
Run-length encoding verified in Agda
2019-05-19
An Agda eDSL for well-typed Hilbert style proofs
