References with automatic theorem names
The author is Emil Jeřábek. The package is Copyright © 2008, 2013 Emil Jeřábek.
License: lppl Version dated: 2013-05-22 Catalogued: 2018-01-06
High-Performance Open-Source Archive
References with automatic theorem names
The author is Emil Jeřábek. The package is Copyright © 2008, 2013 Emil Jeřábek.
License: lppl Version dated: 2013-05-22 Catalogued: 2018-01-06
Need mirroring services?
Contact our team at info@vpspulse.com.
Mirror powered by VPSpulse
Infrastructure sponsored by VPSPulse & Secure Payments by ArionPay.