Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
language
3
basic
2
documentation
2 ?
 21,213,375 websites (safe search)

  1. Hilbert II - Introduction

    Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier ...
    language3
    foundation3
    check3
    basic2
    documentation2
    mathematics2
    logic2
    proof2
    formal2
    russell2
    calculus2
    verify1
    mathematical1
    whitehead1
    logical1
    ackermann1
    verifier1
    mathematic1
    conclusion1
    hilbert1
    correctness1
    predicate1
    first order1
    bernays1
    michael meyling1
    principia mathematica1
    Hilbert II0

    www.qedeq.org - 2009-02-07

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.