engelsk
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar har 0 bidragsydere.

Erklæring

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

Historie

qbar tilmeldte sig for 2 år siden.

Indkomst per uge (i amerikansk dollar)

Antal bidragsydere per Uge