https://isa-afp.org/authors/yamada/
Akihisa Yamada - Archive of Formal Proofs
Akihisa Yamada in the Archive of Formal Proofs
akihisa yamadaarchiveformalproofs
https://isa-afp.org/authors/yamada/
Akihisa Yamada - Archive of Formal Proofs
Akihisa Yamada in the Archive of Formal Proofs
akihisa yamadaarchiveformalproofs