jnarboux / atp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from europroofnet/atp
Repository of EuroProofNet WG 2 on ATPs
Home Page: https://europroofnet.github.io/wg2/
License: Creative Commons Attribution 4.0 International