Proviola

From MaRDI portal

Revision as of 20:07, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:13489

Jump to:navigation, search

swMATH737MaRDI QIDQ13489

No author found.

Described by source

Proviola: A Tool for Proof Re-animation

Related Items (7)

Communicating Formal Proofs: The Case of Flyspeck ⋮ Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5--10, 2010. Proceedings ⋮ Large Formal Wikis: Issues and Solutions ⋮ Isabelle as Document-Oriented Proof Assistant ⋮ CoqPIE: An IDE Aimed at Improving Proof Development Productivity ⋮ Towards Knowledge Management for HOL Light ⋮ Formal Mathematics on Display: A Wiki for Flyspeck

This page was built for software: Proviola

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:13489&oldid=29427383"