CiMPG

swMATH35789MaRDI QIDQ51491FDOQ51491

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
• CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications

Cited In (3)

• CafeInMaude
• CiMPA
• CrEme

This page was built for software: CiMPG