A repository for the development of patterns and terms for axiomatisation and refactoring of the GO MF branch - View it on GitHub