thecount / hilbert-kernel Goto Github PK

The Hilbert kernel library is intended to provide a core library for formal
proof verification.

At this point, the library is not yet finished (i.e., not even in alpha
stage). You are encouraged to contribute! Just drop me a note on
wikiproofs.org (user GrafZahl) or github.com (TheCount).

Some starting points:

* COPYING
  contains the license under which this software is distributed.

* BUILD
  for instructions on how to build and install the software.

* You may also want to check out the following places to get the hang of
  formal proof verification:
    - http://www.wikiproofs.org
      A site dedicated to collaborative theorem proving with formal
      verification.
    - https://sites.google.com/a/ghilbert.org/ghilbert/
      Raph Levien's Ghilbert, from which the hilbert kernel library was
      inspired.
    - http://us.metamath.org
      Norman Megill's metamath site, with thousands of formally verified
      proofs.