Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

February 17 2009

tripleentendre
13:36

Towards a Wiki For Formally Verified Mathematics

for later perusal, some links to mathematics wikis
Tags: mathematics list-of wikis @explore hasmore