MMode

From MaRDI portal

Software:36099

Jump to:navigation, search

swMATH24341MaRDI QIDQ36099

No author found.

Related Items (3)

Improving legibility of formal proofs based on the close reference principle is NP-hard ⋮ Improving legibility of natural deduction proofs is not trivial ⋮ Flexary connectives in Mizar

This page was built for software: MMode

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