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).

nLab > Latest Changes: The QED Project

Bottom of Page

1 to 6 of 6

  1.  
    • 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

1 to 6 of 6

  1.