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
Reply all
Reply to author
Forward
0 new messages