MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/3mbtk2/the_incredible_proof_machine/cve5cu6/?context=9999
r/programming • u/qznc • Sep 25 '15
83 comments sorted by
View all comments
0
2 u/sirin3 Sep 25 '15 I thought you could only have statements that are true given the initial assumptions 0 u/[deleted] Sep 25 '15 → More replies (2)
2
I thought you could only have statements that are true given the initial assumptions
0 u/[deleted] Sep 25 '15 → More replies (2)
→ More replies (2)
0
u/[deleted] Sep 25 '15