Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Learn Coq in Y Minutes. Parent comment
At the end of the article, there is a coq source code of the entire article for you to play with in CoqIDE or Proof General: https://mdnahas.github.io/doc/nahas_tutorial.v
There are no comments on this comment yet.
At the end of the article, there is a coq source code of the entire article for you to play with in CoqIDE or Proof General: https://mdnahas.github.io/doc/nahas_tutorial.v