Home > Authors > Marko Van Eekelen > Interactive Theorem Proving

Buy at: Bookshop.org Amazon

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz

Recent activity

Rate this book to see your activity here.

3 Books Similar to Interactive Theorem Proving by Marko Van Eekelen

Bookscovery readers who liked Interactive Theorem Proving also like Intelligent Computer Mathematics, Type Theory and Formal Proof and Logical Gates, Circuits, Processors, Compilers and Computers. How many of these have you read?

Type Theory and Formal Proof by Rob Nederpelt

Cover of Type Theory and Formal Proof

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Logical Gates, Circuits, Processors, Compilers and Computers by Jan Friso Groote

Cover of Logical Gates, Circuits, Processors, Compilers and Computers

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Interactive Theorem Proving

Please sign in to leave a comment