Name		Name	Last commit message	Last commit date
build		build
h2		h2
img		img
lib		lib
nbproject		nbproject
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.xml		build.xml
completo.lits		completo.lits
manifest.mf		manifest.mf
perfil-logicits.lits		perfil-logicits.lits

Repository files navigation

logicits

An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.

About

An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.

intelligent-tutoring-system its learning-procces natural-deduction

1 star

0 watching

Report repository

Releases

Packages

Used by

Contributors

Languages