Mathias Fleury and Bruno Andreotti: Alethe, A flexible proof format with fine-grained steps
From Viktor Kuncak
views
comments
From Viktor Kuncak
EPFL video portal by SWITCH | Terms of service | Disclaimer | EPFL Privacy policy |