scientific article

From MaRDI portal

Publication:3024887

Jump to:navigation, search

zbMath1063.68658MaRDI QIDQ3024887

Donald Syme

Publication date: 4 July 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

User interaction with the Matita proof assistant, Tinycals: Step by Step Tacticals

Uses Software

HOL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3024887&oldid=16055597"