Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 3rd 2014
    • (edited Mar 3rd 2014)

    I was contacted by somebody involved in The QED Project. I have given that an nnLab page now, linked to from proof assistant, cross-linked with ForMath. (Maybe we should have a page formal mathematics or the like?)

    • CommentRowNumber2.
    • CommentAuthorRodMcGuire
    • CommentTimeMar 3rd 2014

    shouldn’t it be mentioned that this project is of historical note only? The last activity on it seems to be 1996.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 4th 2014

    Please do add whatever information you have. I hope this goes without saying.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeMar 4th 2014
    • (edited Mar 4th 2014)

    I added a link to the Wikipedia page as it does contain some more recent links.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 4th 2014

    Thanks! I have given the entry now a lead-in paragraph to further clarify.

    • CommentRowNumber6.
    • CommentAuthoratmacen
    • CommentTimeMay 20th 2019

    Removed the use of backticks, for left single quotes, in the quoted manifesto. Markdown interprets it as code, and nLab smartens quotes anyway.

    diff, v8, current