CiMPA

swMATH35788MaRDI QIDQ51490FDOQ51490

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-67729-3_1

Source code repository: https://github.com/ariesco/CafeInMaude

Described by source

• A formal proof generator from semi-formal proof documents

Cited In (2)

• CafeInMaude
• CiMPG

This page was built for software: CiMPA