GitHub - minender/miniproyectoSepDic2017: Asistenete de prueba para lógica simbolica

Name		Name	Last commit message	Last commit date
Latest commit History 563 Commits
.github/workflows		.github/workflows
.mvn		.mvn
.settings		.settings
WebContent/META-INF		WebContent/META-INF
logging		logging
src		src
.classpath		.classpath
.gitignore		.gitignore
.project		.project
AnotacionesDisenos.odt		AnotacionesDisenos.odt
Diagrama Miniproyecto EneMar 2020.dia		Diagrama Miniproyecto EneMar 2020.dia
Diagrama miniproyecto.dia		Diagrama miniproyecto.dia
Diagrama miniproyecto.png		Diagrama miniproyecto.png
DiagramaEstadosInfer.dia		DiagramaEstadosInfer.dia
DocumentoDeVistas.odt		DocumentoDeVistas.odt
Eq.g		Eq.g
HistoriasDeUsuario.doc		HistoriasDeUsuario.doc
HistoriasDeUsuario.docx		HistoriasDeUsuario.docx
anotacionesEnTXT.txt		anotacionesEnTXT.txt
borrarListaTeoremas.sql		borrarListaTeoremas.sql
calclogicSepDic24.sql		calclogicSepDic24.sql
databaseDiscreteMathHeroku2.sql		databaseDiscreteMathHeroku2.sql
databaseForReferies.sql		databaseForReferies.sql
databaseJul2024.sql		databaseJul2024.sql
databaseJul2024New.sql		databaseJul2024New.sql
databaseSinTermObject.sql		databaseSinTermObject.sql
databaseWithCombTheorems.sql		databaseWithCombTheorems.sql
databaseWithTheorems.sql		databaseWithTheorems.sql
insertteo.sql		insertteo.sql
migration.sql		migration.sql
nb-configuration.xml		nb-configuration.xml
nbactions-release-profile.xml		nbactions-release-profile.xml
nbactions.xml		nbactions.xml
pendientes.txt		pendientes.txt
pom.xml		pom.xml
predicateLogic.sql		predicateLogic.sql
respaldoTeo.txt		respaldoTeo.txt
setTheory.sql		setTheory.sql