engleză
Avatar

the rational proof assistant
@qbar

The QBAR Project

qbar are 0 susținători.

Descriere

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

Istoric

qbar s-a alăturat acum 3 ani.

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

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

Această pagină conține text tradus automat care nu a fost încă revizuit și care ar putea fi inexact. Puteți contribui la.