Discover new books on Goodreads
Meet your next favorite book
“The V connective of first-order logic, used in many earlier examples, is built into Coq. It can be viewed as the dependent function type constructor.”
― Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
― Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Deep State Radio Book Group
— 250 members
— last activity Mar 23, 2022 06:13AM
This is a group for Deep State Radio Nerds and all who are interested in and inquisitive about the world and how it works. We will read fiction and no ...more
The Reasons Why you wrote your book or books
— 667 members
— last activity Jul 06, 2026 08:35AM
People write books for many reasons, so why did you write yours?
Steve’s 2025 Year in Books
Take a look at Steve’s Year in Books, including some fun facts about their reading.
899 books
|
130 friends
2,677 books
|
469 friends
3,427 books
|
98 friends
1,038 books
|
49 friends
578 books
|
142 friends
611 books
|
205 friends
4,988 books
|
154 friends
1,156 books
|
38 friends
More friends…
Polls voted on by Steve
Lists liked by Steve