[opentheory-users] article repository

Ramana Kumar ramana.kumar at gmail.com
Sat Jan 8 17:58:30 UTC 2011


Is there a repository of opentheory articles anywhere?
The only ones I've seen so far are in the test directory of the
opentheory package.
Have you seen the hol-online project? http://code.google.com/p/hol-online/
I'm not sure how theories are going to be stored there, but maybe we
should try to mirror it at least in opentheory.



More information about the opentheory-users mailing list