Welcome to the HoLoTruth website.

HoLoTruth is concerned with the proof of truths in Higher Order Logic

Though the project website will be here, in the preliminary stages (and this is very preliminary) only the wiki will be populated, which can be found at:

The HoLoTruth wiki