Matthew Brecknell

Tag: Coq

Pattern-matching dependent types in Coq

21 May 2015

Coq
dependent types
screencast

Copyright © 2022 Matthew Brecknell