Krzysztof Kapulkin
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Daniel Carranza, Krzysztof Kapulkin, Jinho Kim
- Krzysztof Kapulkin, Karol Szumilo
- Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman
- Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine
- Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu LumsdaineHomotopy limits in Coq CoRR (2013)
- Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil
- Peter Arndt, Krzysztof Kapulkin