Sign in
Interactive theorem proving.
Jorge Morales
Published in:
ACM Annual Conference (1973)
Keyphrases
</>
interactive theorem proving