sceleratis/plainlogic
v0.3.0
Implement PlainLogic, specifications, and explicit pseudocode regions while preserving their behavior and scope.
| Version | Commit | First seen |
|---|---|---|
| 0.3.0latest | 4a42926f5811 |
Implement PlainLogic, specifications, and explicit pseudocode regions while preserving their behavior and scope.
| Version | Commit | First seen |
|---|---|---|
| 0.3.0latest | 4a42926f5811 |