'Bernays' trends

Domains containing the tag 'Bernays'

Bounce ratePages / VisitVisit duration
1qedeq.org
Hilbert II - Introduction
Verify and do***ent mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating *** files and html pages.
35.06 1.03 n/a