[PS2024] Jeremy Avigad: Mathematical Structures in Dependent Type Theory
From Viktor Kuncak
views
comments
From Viktor Kuncak
EPFL video portal by SWITCH | Terms of service | Disclaimer | EPFL Privacy policy |