Eric McGregor's repositories
ChewTPTP
ChewTPTP, written in c, is a refutationally complete and sound automated theorem prover for first order theorems.
Language:C++000
Dissertation
My dissertation for a Ph.D. in Computer Science.
000
Language:JavaScript000
Thoracic-Data-2015
Thoracic pulse data from 15 subjects collected before and after exercise in 2015 using a laser Doppler vibrometer.
000
Language:Vue000
Language:Java000