Software de Mapas de Argumentos con interfaz gráfica diseñado con el objetivo específico (aunque no excluyente) de analizar la estructura argumentativa de demostraciones matemáticas, utilizando el modelo de Toulmin.
Además, el contenido de los elementos puede ser tanto texto como imágenes, lo que permite guardar como imagen expresiones matemáticas escritas en LaTeX (utilizando software de apoyo como KLatexFormula).
Se puede imprimir el diagrama y exportarlo a formato imagen (varios...