copela 0.9.0

Run narrative-to-formal translation across many language models and score it with oracles that are not language models: executable, structural and property layers, reported separately.

releases

Sources