An improved implementation and abstract interface for Hybrid

DOI10.4204/EPTCS.71.6MaRDI QIDQ6940441zbMATH OpenFDO

Authors Alan J. Martin, Amy P. Felty

Publication date 19 August 2025

Copyright license Creative Commons license

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: An improved implementation and abstract interface for Hybrid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940441)