166 search results - page 34 / 34 » A Parameterised Module System for Constructing Typed Logic P... |
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...