Ascetic Slug
[home]
[blog]
Entries tagged :: logic
.
2021-06-02
Using dependent types to write proofs in Haskell
2019-05-19
An Agda eDSL for well-typed Hilbert style proofs
