New frontiers for the representation of proofs
Project Members

New frontiers for the representation of proofs

Currently we are working on a FWF/RSF Joint Project application with the Steklov Institute of the Russian Academy of Sciences. More information will be available soon.

Members