S

sceleratis/plainlogic

Copy page

Implement PlainLogic, specifications, and explicit pseudocode regions while preserving their behavior and scope.