engelsk

the rational proof assistant
@qbar

The QBAR Project

qbar har 0 kronerullere.

Donasjonstilbud

Beskrivelse

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

Historikk

qbar registrerte seg for 3 år siden.

Inntekt per uke (i amerikanske dollar)

Ukentlig antall kronerullere

Denne siden inneholder maskinoversatt tekst som ennå ikke er gjennomgått og kan være unøyaktig. Du kan bidra.