Satoshi Egi. Pattern-match-oriented proof writing language. In Ademar Aguiar, Shigeru Chiba, Elisa Gonzalez Boix, editors, Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020. pages 223-224, ACM, 2020. [doi]
@inproceedings{Egi20,
title = {Pattern-match-oriented proof writing language},
author = {Satoshi Egi},
year = {2020},
doi = {10.1145/3397537.3398481},
url = {https://doi.org/10.1145/3397537.3398481},
researchr = {https://researchr.org/publication/Egi20},
cites = {0},
citedby = {0},
pages = {223-224},
booktitle = {Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020},
editor = {Ademar Aguiar and Shigeru Chiba and Elisa Gonzalez Boix},
publisher = {ACM},
isbn = {978-1-4503-7507-8},
}