Crossmark

Employing Digital Tools for Collaborative and Flexible Mathematical Proving

Crossref DOI link: https://doi.org/10.1007/s40751-024-00157-6

Published Online: 2024-09-18

Published Print: 2025-08

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

Authors

Laina, Vasiliki https://orcid.org/0000-0002-2564-0923
Funding

Funding for this research was provided by:

Johannes Kepler University Linz
License Information

Text and Data Mining valid from 2024-09-18

Version of Record valid from 2024-09-18
More Information

Article History

Accepted: 9 September 2024

First Online: 18 September 2024

Declarations

:

: The author declares no competing interests.