PL Group
Organization
People
Alumni
Positions
Group Pictures
Programming Languages Section
Education
Teaching
Master Project
Bachelor Project
Research
Publications
Posters
Software
Projects
Dissertations
Technical Reports
Events
Calendar
News
Contact
Sára Juhošová | How Novices Perceive Interactive Theorem Provers | Student Research Competition at ICFP 2024 | September 03, 2024 |
PDF
Previous
Next
Index
