SolvingLogicsProblems

Solutions of problems of Computational logic's course in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
Prolog		Prolog
LCP-018.lean		LCP-018.lean
LCP-022.lean		LCP-022.lean
LCP-024.lean		LCP-024.lean
LCP-035.lean		LCP-035.lean
LCP-064.lean		LCP-064.lean
LCP-067.lean		LCP-067.lean
LCP-077.lean		LCP-077.lean
LCP-085.lean		LCP-085.lean
LCPO-14.lean		LCPO-14.lean
LCPO-27.lean		LCPO-27.lean
LCPO-29.lean		LCPO-29.lean
LCPO-42.lean		LCPO-42.lean
LCPO-54.lean		LCPO-54.lean
LCPO-64.lean		LCPO-64.lean
LCPO-69.lean		LCPO-69.lean
LCPO-81.lean		LCPO-81.lean
LICENSE		LICENSE
Problems		Problems
README.md		README.md

Provide feedback