Исправление utanho, 08.12.20 20:50 (текущая версия) :
exFalso называется, сам им пользуюсь.
Исходная версия utanho, 08.12.20 20:47:
exFalco называется, сам им пользуюсь. Он не зависит от Ql, вполне себе самостоятельная программуля