First Examples of Proof Terms in Coq

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=Da9WjINqY9c




#############################