Views | |
---|---|
Automated theorem proving for dependent typed theories via a translation to higher-order logic | 343 |
April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
---|---|---|---|---|---|---|---|
Automated theorem proving for dependent typed theories via a translation to higher-order logic | 0 | 0 | 0 | 0 | 49 | 286 | 8 |
Views | |
---|---|
Master Thesis - Colin Rothgang.pdf | 18 |