[pyra]

La siguiente es una lista de enlaces concernientes a Matemáticas y Software

'Oracular Programming' presentada por Jonathan Laurent y André Platzer
https://arxiv.org/pdf/2502.05310  (white)
https://jonathan-laurent.github.io/delphyne/latest/manual/overview/
https://github.com/jonathan-laurent/delphyne  (repo)

'Yalep' (Yet Another Learning Environment for Proof)
es un microlenguaje basado en Lean para la enseñansa de demostraciones de matématica escolar
https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep

'Exploring Formal Math on the Blockchain: An Explorer for Proofgold'
presentada by Chad E. Brown, Cezary Kaliszyk y Josef Urban
"cripto diseñada para juntar logica formal y matemáticas directamente en infraestructura blockchain "
https://arxiv.org/pdf/2509.08267  (paper)
repo in halt ?

'A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics'
presentada por Luka Vrečar, Joe Wells y Fairouz Kamareddine
https://link.springer.com/chapter/10.1007/978-3-032-07021-0_10 (paper)
FMathL (Formal Mathematical Language) https://arnold-neumaier.at/FMathL.html
https://arnold-neumaier.at/FMathL/vision.html  (mission)

'Tensor Logic : The Language of AI' presentado por Pedro Domingos
https://homes.cs.washington.edu/~pedrod/tls.pdf
https://arxiv.org/abs/2510.12269 
https://github.com/activeloopai/tensorlogic  (repo??)

(sTeX: Una plataforma para "pre-carga semántica" de documentos LaTeX) https://github.com/slatex/sTeX
(herramientas para contenido sTeX ) https://github.com/slatex/stextools/wiki
(Flexiformal Relocalization) https://github.com/FlexiFormal/relocalization
Flams (Flexiformal Annotation Management System) https://github.com/flexiformal/flams

Meta-Meta-theory (MMT) https://uniformal.github.io/
"MMT es un plataforma para la Representación del Conocimiento usando lenguajes formales de Logica, Teoría de Tipos, Ontologias, teorias de Conjuntos, etc"
The MMT Language https://uniformal.github.io/doc/language/
UniFormal https://github.com/UniFormal/UPL

Lenguaje Cairo https://www.cairo-lang.org/about-cairo/

Lenguaje Exo https://exo-lang.dev/

Reticulum https://github.com/markqvist/Reticulum

Enso Analytics  https://ensoanalytics.com/

Curv es un lenguaje para crear arte usando mates
https://codeberg.org/doug-moen/curv


Nillion (Computación Ciega) https://docs.nillion.com/what-is-nillion

Wyvern https://wyvernlang.github.io/
https://github.com/wyvernlang/wyvern