MMode

swMATH24341MaRDI QIDQ36099FDOQ36099

Author name not available (Why is that?)

Official website: http://www.cs.ru.nl/~giero/mmode.pdf

Cited In (3)

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

This page was built for software: MMode