Sign In
Sign Up
A decidable sequent calculus theorem prover using controlled contraction
Padric Daugherty
-
/
5
0 votes
Predicate Calculus
Automatic Theorem Proving
Proof Theory
Calculus
4.1
17 votes
Fermat's Last Theorem
3.9
17 votes
How to solve it
4.0
15 votes
How to lie with statistics
4.1
21 votes
Algebra 1
3.8
18 votes
Code
4.3
21 votes
Clean Code
4.4
35 votes
Algorithms to Live By
4.0
37 votes
The Drunkard's Walk
4.0
20 votes
Think Again
3.7
23 votes
Alice in Wonderland in Five Acts
4.0
65 votes
Gödel, Escher, Bach
4.2
59 votes
The elegant universe
4.0
22 votes
Jung's map of the soul
4.7
27 votes
A darker shade of magic
3.8
44 votes
The Signal and the Noise
3.9
48 votes
Fooled by randomness
3.9
29 votes
What If?
4.3
93 votes
Nate The Great (Nate The Great)
4.6
16 votes
The Games People Play
4.0
39 votes
A Conjuring of Light
4.3
16 votes
Alice's Adventures in Wonderland
4.0
172 votes
Through the Looking-Glass
3.9
45 votes
Biology
3.9
18 votes
The Complete Robot
4.5
20 votes
The art of thinking clearly
4.2
16 votes
Marketing management
4.0
27 votes
The Sun Also Rises
3.8
21 votes
The God delusion
3.9
124 votes
Anathem
4.3
64 votes
The Difference Engine
3.3
22 votes
Microbiology
4.5
17 votes
Jurassic Park
4.1
145 votes
The Algebraist
3.8
19 votes
For Whom the Bell Tolls
3.4
16 votes
Antifragile
4.1
33 votes
We Should All Be Feminists
4.1
26 votes
Rooster who set out to see the world
3.9
17 votes
A Farewell to Arms
3.7
47 votes
A Room of One's Own
4.2
23 votes
Hackers
4.1
21 votes
The Grand Design
3.7
21 votes
Ways of Seeing
3.9
16 votes
Thinking in systems
4.4
22 votes
On The Road
3.4
74 votes
Utopia
3.2
18 votes
Men Explain Things To Me
3.9
23 votes
The Information
3.8
15 votes
