Contact

Mail to Jan.Denef at KULeuven.be for any questions about LogicPalet, for reporting bugs, for getting an instructor account, or for help with setting up a course.