Crossmark

Interactive Theorem Proving

Crossref DOI link: https://doi.org/10.1007/978-3-030-78409-6_2

Published Online: 2021-08-14

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ahmed, Asad https://orcid.org/0000-0001-8276-0975
Hasan, Osman https://orcid.org/0000-0003-2562-2669
Awwad, Falah https://orcid.org/0000-0001-6154-2143
Bastaki, Nabil
License Information

Text and Data Mining valid from 2021-08-14

Version of Record valid from 2021-08-14
More Information

Chapter History

First Online: 14 August 2021