Formalising the Kruskal-Katona Theorem in Lean
| العنوان: | Formalising the Kruskal-Katona Theorem in Lean |
|---|---|
| المؤلفون: | Bhavik Mehta |
| المصدر: | Lecture Notes in Computer Science ISBN: 9783031166808 |
| بيانات النشر: | Springer International Publishing, 2022. |
| سنة النشر: | 2022 |
| ردمك: | 978-3-031-16680-8 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::ed4818e53468d8b32cfdd575bcdba28d https://doi.org/10.1007/978-3-031-16681-5_5 |
| حقوق: | CLOSED |
| رقم الأكسشن: | edsair.doi...........ed4818e53468d8b32cfdd575bcdba28d |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783031166808 |
|---|