facetious answer: yes, due to computational trinitarianism! All you need to do is convert your proof from a logical form into an executable, type-checked and fu

facetious answer: yes, due to computational trinitarianism! All you need to do is convert your proof from a logical form into an executable, type-checked and fully verified program - that should get you around the academic clout pre-reqs.. people love to use hobbyist-made software alll the time, but they equally hate to even look at hobbyist research :P /s