PLMMS

AcronymDefinition
PLMMSProgramming Languages for Mechanized Mathematics Systems (workshop)