| Zugriffe | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 640 |
| April 2025 | Mai 2025 | Juni 2025 | Juli 2025 | August 2025 | September 2025 | Oktober 2025 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 11 | 5 | 16 | 26 | 23 | 21 | 43 |
| Zugriffe | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 98 |
