Home Github RSS About

beuke.org

A personal blog exploring computer science and theoretical physics

Interactive Theorem Proving with Coq

Posted on Oct 9 2023 ~ 6 min read

#theorem proving #proof theory #coq

This blog was made with Hexo and Simple.css.
Content is available under CC BY-SA 4.0 unless noted otherwise.

RSS Feed • Source