GASC -
G
eometric
A
utomatic theorem prover
S
ystems
C
ompetition
View Results (by Problem)
View Results (by GATP)
Previous Editions
Administration
(reserved)
↤ Go back
Previous Editions
GASC 0.2 - 2019-11-14T15:49:05+01:00
GASC 0.2 report
, CISUC Technical Report 2019/001, November 2019.
↤ Go back
GASC
© Pedro Quaresma & Nuno Baeta (CISUC, Department of Mathematics, University of Coimbra)