| Views | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 411 |
| June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | November 2024 | December 2024 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 0 | 0 | 49 | 286 | 21 | 39 | 16 |
| Views | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 35 |
