IsarMathLib

swMATH22729MaRDI QIDQ34520FDOQ34520

Author name not available (Why is that?)

Official website: http://www.nongnu.org/isarmathlib/

Cited In (2)

• Generating custom set theories with non-set structured objects
• AUTO2

This page was built for software: IsarMathLib