GitHub repository: pdep-st/parcial-logico-lean-ghost
Primary language: Prolog
Created: 2020-08-29T17:03:50Z
Description: parcial-logico-lean-ghost created by GitHub Classroom