Puente entre conocimiento matemático bibliográfico y formalizado
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.
#conocimiento matemático
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.