IJbema, M. (2009) Evaluation of Isabelle with a proof of the Perfect Number Theorem. Bachelor's Thesis, Computing Science.
|
Text
verslag.pdf - Published Version Download (411kB) | Preview |
Abstract
In this bachelor's thesis I will discuss my research on proof assistent Isabelle. Using the Perfect Number Theorem as test case, I tried to find out how usable Isabelle is.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 15 Feb 2018 07:29 |
| Last Modified: | 15 Feb 2018 07:29 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/8724 |
Actions (login required)
 |
View Item |