| Views | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 583 |
| March 2025 | April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 22 | 11 | 5 | 16 | 26 | 23 | 7 |
| Views | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 83 |
