Interactive Theorem Proving (Q2829237)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Interactive Theorem Proving
scientific journal

    Statements