Large-scale computer assistance of mathematics and science is our inevitable future. The AITP conference will be co-located with a meeting of WG5 of Cost Action European Research Network on Formal Proofs.
This website uses cookies to help personalize and improve your experience. Learn more by visiting our privacy policy. By continuing to use this site, you are consenting to the use of cookies.
