Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Fabián Fernando Serrano Suárez
Publications
Mechanising Hall’s Theorem for Countable Graphs
Fabián Fernando Serrano Suárez
,
Mauricio Ayala-Rincon
and
Thaynara Arielly de Lima
EasyChair Preprint no. 10365
Keyphrases
Countable Graphs
,
Hall's Theorem
,
interactive theorem proving
,
Isabelle/HOL
.
Copyright © 2012-2023 easychair.org. All rights reserved.