Vladimir Voevodsky writes foundations in Coq

24 views
Skip to first unread message

Vlad Patryshev

unread,
Jul 1, 2012, 11:26:37 PM7/1/12
to ba...@googlegroups.com
here: https://github.com/vladimirias/Foundations
Thanks,
-Vlad
Reply all
Reply to author
Forward
0 new messages