Statistics for Dependent Types for Formal Theorem Proving: A Case Study of Hall’s Theorem
Total visits
| views | |
|---|---|
| Dependent Types for Formal Theorem Proving: A Case Study of Hall’s Theorem | 22 |
Total visits per month
| views | |
|---|---|
| лютого 2024 | 0 |
| березня 2024 | 0 |
| квітня 2024 | 15 |
| травня 2024 | 7 |
| червня 2024 | 0 |
| липня 2024 | 0 |
| серпня 2024 | 0 |
File Visits
| views | |
|---|---|
| Vlasenko_Bakalavrska_robota.pdf | 26 |