Skip to content

Minor typo and other fixes to SCAI predicate spec#215

Merged
marcelamelara merged 1 commit intoin-toto:mainfrom marcelamelara:scai-predicate-spec-fixesMay 12, 2023
+4-4

Commits

Commits on May 4, 2023