DIFF.BLOG
New
Following
Discover
Jobs
More
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
Constructive and Non-Constructive Proofs in Agda (Part 2): Agda in a Nutshell
1
·
Gints Dreimanis
·
Nov. 26, 2018, midnight
Summary
Last week, we started a new blog series to introduce you to creating constructive and non-constructive proofs in Agda.....
Read full post on serokell.io →
Submit
AUTHOR
RECENT POSTS FROM THE AUTHOR