El proyecto LogicUS proporciona una herramienta que, bajo un único entorno, permite trabajar con los aspectos básicos de la Lógica Proposicional y la Lógica de Primer Orden haciendo uso de una representación adecuada e interactiva a través de textos enriquecidos con representaciones matemáticas (LaTeX en la web), tablas, grafos, etc. Facilita la generación de documentación con contenido basado en Lógica, utilizando para ello la herrmamienta Litvis que permite la generación de documentos Markdown enriquecido con la integración de distintos tipos de fragmentos de código ejecutables en distintos lenguajes (Elm, JS, Python, DOT, Matplotlib, etc.) cuyos resultados pueden ser renderizados de forma totalmente integrada con elementos típicos de la documentación (textos, tablas, imágenes, etc.), y permitiendo también su exportación a otros formatos (como HTML o PDF) visualizables en cualquier equipo. Y todo ello bajo un único entorno (con Atom o VSCode) de fácil, rápida, y ligera instalación.
El sistema LogicUS está compuesto por tres partes principales: LogicUS-LIB, implementada en un lenguaje funcional-orientado a la web (Elm), con un diseño modular y abierto que puede ser fácilmente ampliado con otros contenidos complementarios y contando además con una extensa documentación (incluyendo descripciones y ejemplos de uso); LogicUS-NB, un conjunto de documentos de diferentes contenidos y problemas de prácticas que sirven como ejemplos de uso de los documentos Litvis integrados con la biblioteca LogicUS y sus métodos operativos y de representación; y LogicUS-GUI (en desarrollo), un front-end basado en los principios de accesibilidad y usabilidad que tiene como objetivo proporcionar un nivel adicional de abstracción en el que los estudiantes puedan hacer uso directo de los métodos y algoritmos disponibles, obteniendo una explicación paso a paso que les permita comprender la metodología involucrada en la aplicación de los algoritmos y la resolución de problemas, abstrayéndose del lenguaje base de LogicUS-LIB.