Logic & Applications (@logicpractice) 's Twitter Profile
Logic & Applications

@logicpractice

Logic and applications of logic from @JohnDCook

ID: 771405000580804609

linkhttp://JohnDCook.com/logic calendar_today01-09-2016 17:50:58

1,1K Tweet

26,26K Followers

8 Following

Logic & Applications (@logicpractice) 's Twitter Profile Photo
Logic & Applications
@logicpractice

a month ago

QED at the end of the proof comes from the Latin quod erat demonstrandum, 'which is what had to be proven'. It is also a command in Coq.