Search alternatives:
"prove" » "proven"
Cover Image
Read Now

1
by Chlipala, Adam
Published 2013
The MIT Press
Subjects: “...Automatic theorem proving / Computer programs...”