Verified Decision Procedures for Modal Logics. (Q5875443)
From MaRDI portal
scientific article; zbMATH DE number 7649980
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified Decision Procedures for Modal Logics. |
scientific article; zbMATH DE number 7649980 |
Statements
3 February 2023
0 references
formal methods
0 references
interactive theorem proving
0 references
modal logic
0 references
Lean
0 references
Verified Decision Procedures for Modal Logics. (English)
0 references
0 references
0 references
