Группа библиотек: org.qedeq.kernel

QEDEQ Kernel for the Hilbert II project

org.qedeq.kernel : qedeq_kernel

In the tradition of Hilbert's program the project creates a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet.

Последняя версия: 0.04.07

Дата: 24 мая 2013 г.