nopeBeyond Notations
(2020) : Ullrich, Sebastian de Moura, L...
DOI: https://doi.org/10.1007/978-3-030-51054-1_10
#proof_assistant #macros #coq #hygienic_transforms #my_bibtex
(2020) : Ullrich, Sebastian de Moura, L...
DOI: https://doi.org/10.1007/978-3-030-51054-1_10
#proof_assistant #macros #coq #hygienic_transforms #my_bibtex