Profile
Name
L0st_P4inting
Description
E=Halting(λm.not(Halting(m,m)),λm.not(Halting(m,m)))
Subscribers
13
Subscriptions
Friends
Channel Comments
There are no comments for this user.
Add comment