GitHub repository: mabdula/PDDL_STRIPS_Verified_Validator
Primary language: Standard ML
Description: A verified validator for PDDL