IsarMathLib

swMATH22729MaRDI QIDQ34520FDOQ34520

Author name not available (Why is that?)

Cited In (2)

• Generating custom set theories with non-set structured objects
• Formalization of the fundamental group in untyped set theory using auto2

This page was built for software: IsarMathLib