Estadísticas
| Estadísticas de páginas | |
|---|---|
| Páginas de contenido | 10 |
| Páginas (Todas las páginas del wiki, incluidas las páginas de discusión, redirecciones, etc.) | 72 |
| Archivos subidos | 0 |
| Estadísticas de ediciones | |
| Ediciones en páginas desde que Demostración automática de teoremas (2014-15) fue instalado | 279 |
| Promedio de ediciones por página | 3,88 |
| Estadísticas de usuarios | |
| Usuarios registrados | 3 |
| Usuarios activos (lista de miembros) (Usuarios que han ejecutado una acción en los últimos 30 días) | 0 |
| Bots (lista de miembros) | 3 |
| Administradores (lista de miembros) | 4 |
| Burócratas (lista de miembros) | 4 |