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 |
---|