-
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 proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions