Interactive Theorem Proving based on Inox - View it on GitHub