beuke.org

A personal blog exploring computer science and theoretical physics

Tag: coq

2023
Coq Tutorial
Interactive Theorem Proving with Coq
Posted on Oct 09 2023 ~ X min read
#theorem proving  #proof theory  #coq