-
proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical creation, verification, and publication, including formal certification
Searches related to verification
Enter an email to receive alerts for verification positions