A: A Proof Assistant for Undergraduate Education.
Jianting ChenMedha GopalaswamyPrabir PradhanSooji SonPeter-Michael OseraPublished in: SIGCSE (2017)
Keyphrases
- engineering students
- educational technology
- computer science curriculum
- graduate school
- e learning
- serious games
- hong kong
- test bed
- computer science
- distance education
- web based learning
- undergraduate engineering
- information and communication technologies
- mechanical engineering
- mobile learning
- distance learning
- theorem proving
- theorem prover
- st century
- university level
- linear logic
- computer science students
- postgraduate students
- blended learning
- chemical engineering
- information systems
- learning technologies