miguelpagano/equ — Issue #5: Representación de axiomas y teoremas
Author: miguelpagano
Created: 2011-12-09 03:56:27+00:00
State: open

Pensar una mejor forma de representar los axiomas y teoremas en la interfaz gráfica.