On extensibility of proof checkers
From MaRDI portal
Publication:6061878
DOI10.1007/3-540-60579-7_8zbMath1530.68270OpenAlexW1544097164MaRDI QIDQ6061878
No author found.
Publication date: 8 December 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60579-7_8
Cites Work
- Simple consequence relations
- A functional theory of exceptions
- Unification under a mixed prefix
- Metalogical frameworks. II: Developing a reflected decision procedure
- Set theory for verification. I: From foundations to functions
- Edinburgh LCF. A mechanized logic of computation
- A framework for defining logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item