Englisch
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar hat 0 Fördernde.

Beschreibung

This project is focused on the creation of an automated theorem prover and proof assistant for generalized deduction systems.

Verlauf

qbar ist vor 3 Jahren beigetreten.

Einnahmen pro Woche (in US-Dollar)

Anzahl Unterstützer pro Woche