Exploring Coq Intensive Lecture 1 2018
Exploring Coq Intensive Lecture 1 2018 reveals several interesting facts.
- Description: A hands-on introduction to
- Introduction to
- Next:
- Yes so it's like I prove that P of 0 holds without us without assuming anything and then I have to prove that P of n plus
- coq-1-00
In-Depth Information on Coq Intensive Lecture 1 2018
Deep Spec Summer School Polymorphism Tactics. Logic. Inductive Propositions.
slides: https://github.com/lambdaconf/lambdaconf-
Stay tuned for more updates related to Coq Intensive Lecture 1 2018.