Giters

marcielleal / LogicProblems

Solutions of problems of Computational logic's course in Lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

leanlologicalprolog

SolvingLogicsProblems

Solutions of problems of Computational logic's course in Lean

About

Solutions of problems of Computational logic's course in Lean

leanlologicalprolog

License:GNU General Public License v3.0

Languages

Language:Lean 67.7%Language:Prolog 32.3%