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

Commits

Commits on Aug 17, 2025