Except for archived content, this site is licensed under a
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License.
We are currently not accepting archiving requests. The archival state/snapshots of websites that have been archived with WebCite in the past can still be accessed and cited.
| WebCite | |
| [ HOME | FAQ | NEWS | MEMBERS | SEARCH ] | |
ErrorYour request returned the following error We do not have any snapshots of the given URL http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/ in our database. Please check the query you submitted and try again. |
|