CLASES
Un proyecto de investigación de Víctor Estrada Díaz sobre clases, transformaciones e invariantes, basado en UNIHOLOG.
Versión: 4cf0aef72999.
Qué contiene la descarga
Código, documentos de consulta, portada, pruebas, instrucciones y licencias. El archivo incluye la referencia exacta a su versión y las huellas de sus archivos.
Las herramientas se documentan en src.
Fuentes de UNIHOLOG
- ES_49_nexo_discreto_continuo.md
- ES_50_primalidad_estructural_U.md
- ES_51_grado_de_ñ_y_no_circularidad.md
- ES_46_RV6.md
Los documentos se conservan íntegros, con su autoría y procedencia. Las comprobaciones auxiliares no constituyen por sí mismas nuevas demostraciones matemáticas.
Autoría y licencias
Víctor Estrada Díaz · Textos CC BY-NC-SA 4.0 · Código HL3.