Search
Scan Barcode
Scan Barcode
Requesting camera...
Grant access to the camera to scan a book's barcode.
Access denied
Could not access camera
Scanning...
Align your book's barcode with the camera.
ISBN scanned
Searching for book:
...
Notifications
Username:
Password:
Forgot your password?
Log in
Yves Bertot
External links
View on OpenLibrary
Books by Yves Bertot
No rating
Interactive theorem proving and program development
by
Yves Bertot
Previous
Next
Successfully posted status
Error posting status
