Skip to content

Fix wrong variable name in text describing listing#339

Closed
PrenexNormalForm wants to merge 2 commits into
cognitive-engineering-lab:mainfrom
PrenexNormalForm:main
Closed

Fix wrong variable name in text describing listing#339
PrenexNormalForm wants to merge 2 commits into
cognitive-engineering-lab:mainfrom
PrenexNormalForm:main

Remove "again" as it no long makes sense

464777e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs