Pinboard: bookmarks for stuhlmueller tagged 'theorem-proving'

stuhlmueller + theorem-proving 1

select: none ‧ this page no items selected

mark as read ‧ unread ‧ private ‧ public ‧ add stars ‧ remove stars ‧ delete

tag: add or remove tag

THIS IS BOILERPLATE confirm ‧ cancel

Video tutorials for the Coq proof assistant

Demonstrates how to use Coq in Emacs for machine-assisted theorem proving.

coq math logic theorem-proving
february 2011 by stuhlmueller

copy to mine

Copy this bookmark: