| Views | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 879 |
| October 2025 | November 2025 | December 2025 | January 2026 | February 2026 | March 2026 | April 2026 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 47 | 37 | 33 | 36 | 46 | 43 | 40 |
| Views | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 156 |
