Anastasiya Kravchuk-Kirilyuk, Yizhou Zhang and Nada Amin
Category: Proof Assistants Base
Andrej Bauer and Anja Petković
Nikolai Kudasov
Víctor López Juan
Pablo Donato, Pierre-Yves Strub and Benjamin Werner
Anastasiya Kravchuk-Kirilyuk, Yizhou Zhang and Nada Amin
Andrej Bauer and Anja Petković
Nikolai Kudasov
Víctor López Juan
Pablo Donato, Pierre-Yves Strub and Benjamin Werner