Ján Perháč
Ján Perháč
Affiliation: Technical University of Košice
Pages in this Program
Rocq Game: A Gamified Web-Based Environment for Interactive Learning with a Proof Assistant
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑