Login
From:
Ryan's Blog
(Uncensored)
subscribe
An Introduction to Proofs with Dependent Types
https://ryanbrewer.dev/posts/logic-in-types/
links
backlinks
This post introduces the basic ideas behind dependent-type-based proof assistants, and expressing logic with types and values. Read more here!
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
