Previously I had thought I was able to demonstrate the insufficiency of MSOL but upon closer analysis I realized that my proofs were based on flawed assumptions and misinterpretations.Since coming to this realization, have taken a step back from "pushing the MLTT agenda", and now my goal is simply to play the role of a neutral 3rd party and analyze the validity of these claims
Adding this question of which logical framework to use has indeed "stalled" at least our side of the project as it's now added the goal of rigorously sorting out the differences between...
I have no idea what MLTT or MSOL is... I can only imagine the levels of ego between people with so high level of proficiency in the field though. If at some point you guys instead of sticking with the academic literature until your research indicates a flaw in this choice, you will try to unite again and work on it together it will make all the community extremely happy and I am sure will contribute much better to the project.
UNITED WE STRONG
Just MHO