Teaching logic using a state-of-art proof assistant
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 interface. Part of this system is a large database of logi...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Babes-Bolyai University, Cluj-Napoca
2010-06-01
|
| Series: | Acta Didactica Napocensia |
| Subjects: | |
| Online Access: | http://adn.teaching.ro/v3n2a4.htm |