IsarMathLib
From MaRDI portal
Software:34520
No author found.
Related Items (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
