Search results for author:"Freek_Wiedijk"
Total records matched: 1 Search took: 0.069 secs
Acta Didactica Napocensia Vol. 3, No. 2 (2010) pp. 35–48
This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web...