Interoperable and Confident Set-based Proof Assistants

Comments are closed.