Pattern-match-oriented proof writing language.

Published in: Programming (2020)

Keyphrases

programming language
oriented programming
concurrent programming
pattern languages
pattern matching
proof theory
general purpose
language learning
neural network
natural language
formal language
genetic algorithm
case study
theorem prover
theorem proving
similar patterns