Back to Results
First PageMeta Content
Logic / Functional languages / Agda / Deduction / Prolog / Soundness / Mathematical proof / IP / Proof theory / Programming language theory / Software engineering


Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands
Add to Reading List

Document Date: 2015-04-30 03:24:18

Open Document

File Size: 106,08 KB

Share Result on Facebook

City

Zeegse / /

SocialTag