5 ms·
Really nice tutorial on Coq's theorem proving facilities. It even covers Ltac which is rare for these kinds of tutorials.
by holonomically 5y ago
Really nice tutorial on Coq's theorem proving facilities. It even covers Ltac which is rare for these kinds of tutorials.