Bartosz Naskręcki is a mathematician at Adam Mickiewicz University in Poznań. His work spans mathematics, software development, and AI-assisted mathematical research, including automated theorem proving and formalization. He publishes open-source mathematical software under the handle nasqret.
Bartosz Naskręcki is a mathematician at Adam Mickiewicz University in Poznań. His work spans mathematics, software development, and AI-assisted mathematical research, including automated theorem proving and formalization. He publishes open-source mathematical software under the handle nasqret.