Programming Language Theory Flashcard
In rocq, what does types and values have to do with theorems and proofs?
Books
Deckgeneral
Question
In rocq, what does types and values have to do with theorems and proofs?
Answer
Question
In rocq, what does types and values have to do with theorems and proofs?
Answer