Login
From:
Ascetic Slug
(Uncensored)
subscribe
An Agda eDSL for well-typed Hilbert style proofs | Ascetic Slug
https://janmasrovira.gitlab.io/ascetic-slug/post/hilbert-edsl/
links
backlinks
Roast topics
Find topics
Find it!
I present an Agda eDSL for writing Hilbert style proofs for logic $K$.
