Proof Assistant Decision Procedures for Formalizing Origami (Q5200107)
From MaRDI portal
scientific article; zbMATH DE number 5934438
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Assistant Decision Procedures for Formalizing Origami |
scientific article; zbMATH DE number 5934438 |
Statements
Proof Assistant Decision Procedures for Formalizing Origami (English)
0 references
29 July 2011
0 references
