Research Explorer
Adam Chlipala
2 papers · 2014–2018 · 1 conference
🧭 Keyword Pioneer
🐝 Cross-Pollinator (8)
🌉 Interdisciplinary Bridge
🐣 Hot Topic Early Bird