Nuestro proyecto consiste de crear una comunidad social y una interfaz gráfica para la demostración automática de teoremas , esta aplicación generara un archivo de salida con la demostración del teorema que puede ser subida opcionalmente a una biblioteca publica virtual de teoremas demostrados, la idea es crear una comunidad que permita avanzar en la demostración de teoremas no resueltos, con un espacio de discusión para cada teorema, queremos proporcionar una herramienta que motive e inspire a los estudiantes o aficionados a demostrar los misterios más ocultos y profundos de la matemática como la conjetura de Goldbach y la hipótesis de Riemann.