RALL: Machine-supported proofs for relation algebra (Q5234720)
From MaRDI portal
scientific article; zbMATH DE number 7111189
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RALL: Machine-supported proofs for relation algebra |
scientific article; zbMATH DE number 7111189 |
Statements
RALL: Machine-supported proofs for relation algebra (English)
0 references
1 October 2019
0 references
relation algebra
0 references
Isabelle
0 references
interactive and automatic theorem proving
0 references
atom structure
0 references
