engleză
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar are 0 susținători.

Declarație

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

Comunități

Istoric

qbar s-a alăturat acum 1 an.

Venit pe săptămână (în dolar american)

Număr de susținători pe săptămână

Traducerea în română pentru această pagină nu este încă completă.