4f Checker

4f Checker on rakenteisten päättelyketjujen editorin kanssa käytettävä lisäosa, jonka avulla voi tarkistaa, onko päättelyketju matemaattisesti oikein. Ennen tarkistusten ostamista pitää rekisteröidä käyttäjätunnus joko 4f Studioon tai 4f Note -palveluun.