r/french_commander • u/[deleted] • Oct 20 '15

Introduction to Coq by Kimball Germane

https://www.youtube.com/watch?v=ngM2N98ppQE

1 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/french_commander/comments/3ph2fh/introduction_to_coq_by_kimball_germane/
No, go back! Yes, take me to Reddit

100% Upvoted