Pages that link to "Item:Q1819255"
From MaRDI portal
The following pages link to Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings (Q1819255):
Displaying 5 items.
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Enhancing Theorem Prover Interfaces with Program Slice Information (Q2867933) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)
