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 | 33 |
Total visits per month
| views | |
|---|---|
| жовтня 2025 | 0 |
| листопада 2025 | 0 |
| грудня 2025 | 0 |
| січня 2026 | 1 |
| лютого 2026 | 0 |
| березня 2026 | 0 |
| квітня 2026 | 0 |
File Visits
| views | |
|---|---|
| Vlasenko_Bakalavrska_robota.pdf | 185 |