4 commits

Author	SHA1	Message	Date
reijix	217d29635e	Implemented resolution on propositional logic	2023-06-11 17:11:18 +02:00
reijix	7b773c4605	Use Set instead of List to fix many errors, better file structure	2023-06-07 17:36:14 +02:00
reijix	eb5269d90e	Implemented Parser	2023-06-07 11:04:00 +02:00
reijix	6aa770be77	Renamed project	2023-06-04 17:11:18 +02:00

Renamed from unification.cabal (Browse further)