CafeInMaude
From MaRDI portal
Software:31424
No author found.
Related Items (3)
A formal proof generator from semi-formal proof documents ⋮ A Maude environment for CafeOBJ ⋮ CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
This page was built for software: CafeInMaude
