engelsk
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar har 0 bidragsydere.

Beskrivelse

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

Historie

qbar tilmeldte sig for 3 år siden.

Indkomst per uge (i amerikansk dollar)

Antal bidragsydere per Uge