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]
Abstract is missing.