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