Updated the gemfile to include extension
Updated to use the extension gem
Updated the gemfile
Removed the usage of the extension module from proofs
Renaming a proof