Sign In
Sign Up
Types for Proofs and Programs
Hutchison, David - undifferentiated
-
/
5
0 votes
Hol
Beweistheorie
Computer Programming
Universal Soldier: The Return
3.0
2K votes
TRON: Legacy
3.3
8K votes
JUNG_E
3.1
590 votes
The Machine
3.0
794 votes
Hellraiser: Bloodline
2.6
514 votes
Summer Wars
3.7
919 votes
Morgan
2.9
2K votes
Tau
3.1
2K votes
Stealth
2.7
2K votes
Atlas
3.4
2K votes
Automata
2.9
2K votes
I Am Mother
3.3
3K votes
Dark Star
3.0
548 votes
WarGames
3.5
2K votes
Mother/Android
2.9
743 votes
Vice
2.2
540 votes
Short Circuit
3.3
2K votes
Lucy
3.2
16K votes
Transcendence
3.0
6K votes
The Thirteenth Floor
3.5
2K votes
Her
3.9
15K votes
The Matrix Resurrections
3.2
6K votes
Chappie
3.4
8K votes
Virtuosity
2.8
528 votes
Moon
3.8
6K votes
Cloud Atlas
3.4
8K votes
Terminator: Dark Fate
3.2
6K votes
Blade Runner 2049
3.8
14K votes
Ghost in the Shell
4.0
4K votes
The Animatrix
3.6
2K votes
2001: A Space Odyssey
4.0
12K votes
The Creator
3.6
3K votes
Free Guy
3.7
9K votes
Ex Machina
3.8
14K votes
The Matrix
4.1
26K votes
M3GAN
3.5
5K votes
Flight of the Navigator
3.5
829 votes
The Zero Theorem
3.1
2K votes
Terminator Genisys
3.0
9K votes
Archive
3.1
683 votes
2010
3.3
919 votes
The Wandering Earth II
3.6
556 votes
Anon
3.0
2K votes
District 9
3.7
10K votes
Judge Dredd
2.9
3K votes
IO
2.5
2K votes
Prospect
3.1
819 votes
Freaks
3.4
2K votes
