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