Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I was contacted by somebody involved in The QED Project. I have given that an $n$Lab page now, linked to from proof assistant, cross-linked with ForMath. (Maybe we should have a page formal mathematics or the like?)
shouldnâ€™t it be mentioned that this project is of historical note only? The last activity on it seems to be 1996.
Please do add whatever information you have. I hope this goes without saying.
I added a link to the Wikipedia page as it does contain some more recent links.
Thanks! I have given the entry now a lead-in paragraph to further clarify.
1 to 6 of 6