16th International Conference on Interactive Theorem Proving (ITP) (Event)

Activity: Editorial work or peer review of publications › Peer review panel