I am a mathematics and computer science researcher, hence the name Curry Howard isomorphism.
Oh this software is a great. I am so proud of my field.
A place for those who are wise in the ways of science. Registration is open.