inglés
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar tiene 0 mecenas.

Descripción

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

Historial

qbar se unió hace 3 años.

Ingresos Semanales (en dólar estadounidense)

Número de Mecenas Por Semana