EVES
From MaRDI portal
Cited in
(8)- A fixedpoint approach to implementing (co)inductive definitions
- A formal framework for managing mathematics
- Mechanising a Unifying Theory
- Combining nonstably infinite theories
- On Shostak's decision procedure for combinations of theories
- Combining non-stably infinite theories
- Emacs
- IMPS: An interactive mathematical proof system
This page was built for software: EVES
