A project developed by Beáta Keresztes, Borbála Fazakas and Adrian Groza.
See the Logics section in the documentation for more information.
A project developed by Beáta Keresztes, Borbála Fazakas and Adrian Groza.
See the Logics section in the documentation for more information.