Ascetic Slug
Ascetic Slug
Posts
Publications
About me
Contact
Light
Dark
Automatic
Logic
An Agda eDSL for well-typed Hilbert style proofs
I present an Agda eDSL for writing Hilbert style proofs for logic $K$.
Jan Mas Rovira
May 19, 2019
Logic
,
Agda
Cite
×