Project Details
| Status | Active |
|---|---|
| Effective start/end date | 1/07/25 → 30/09/27 |
Funding
- Renaissance Philanthropy: £270,842.15
Scalable theorem proving via mathematical databases
- Birkbeck, Christopher (Principal Investigator)
| Status | Active |
|---|---|
| Effective start/end date | 1/07/25 → 30/09/27 |