Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automating Change of Representation for Proofs in Discrete Mathematics |
scientific article |
Statements
Automating Change of Representation for Proofs in Discrete Mathematics (English)
0 references
20 November 2015
0 references
change of representation
0 references
transformation
0 references
automated reasoning
0 references
Isabelle proof assistant
0 references
