# Qedeq

- **Website:** <https://qedeq.org>
- **Primary alias:** `qedeq.org`

## Description

Hilbert II is an innovative open-source project dedicated to formalizing and verifying mathematical knowledge, aiming to provide a decentralized platform for accessing verified mathematical theorems and proofs. Building on Hilbert's program, it introduces the QEDEQ format, a formal language designed for mathematical argumentation. This platform allows users to create and upload proofs, which are then automatically verified by an integrated proof checker.

The Hilbert II suite features tools for converting QEDEQ modules into LaTeX and HTML files, making it easier for users worldwide to access and share mathematical knowledge. Each QEDEQ module functions like a comprehensive textbook, containing axioms, theorems, and formal proofs, linked through an extensive web of references.

Currently in development, the project has a working prototype called Principia Mathematica II, showcasing its capabilities in first-order predicate logic. Users can access the application with a graphical user interface to load and validate modules located anywhere online. Hilbert II represents a significant advancement toward a universally accessible mathematical knowledge base.

## Industries

- 🧪 Science and Education
- 🧪 Math _(under Science and Education)_
- 🖥 Computers Electronics and Technology
- 🖥 Programming and Developer Software _(under Computers Electronics and Technology)_

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/ide5uiqz8Z/w/125/h/37/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1744998625535)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Raw Sienna | #d67c4a | accent |
| Black | #000000 | dark |
| Silver | #cccccc | light |

## Fonts

- Arial — asset _(custom)_
- Arial — asset _(custom)_

---

_Source: <https://brandfetch.com/qedeq.org>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._