Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jkorb/logicalmethods.ai issues and pull requests

#13 - Fixing typos and mistakes

Pull Request - State: closed - Opened by alexanderapers about 1 month ago - 1 comment

#12 - Deleted neg HELMET in conditionals

Pull Request - State: closed - Opened by ppls-nd-prs about 2 months ago - 1 comment

#11 - Some errors?

Pull Request - State: closed - Opened by KPOLEENS about 2 months ago - 1 comment

#10 - 1 fout in 5.2 en 1 fout in 5.3 - normal forms

Issue - State: closed - Opened by KayRensen about 2 months ago - 1 comment

#9 - two typos

Pull Request - State: closed - Opened by DorusKeijzer about 2 months ago - 2 comments

#8 - Mistake in 5.4 DPLL > pure literal elimination

Issue - State: closed - Opened by DorusKeijzer about 2 months ago

#7 - fixed typos

Pull Request - State: closed - Opened by TerrorScript about 2 months ago

#6 - Error in truth-value of v(SUNNY)

Pull Request - State: closed - Opened by KPOLEENS about 2 months ago

#5 - Minor mistake tutorial 3

Issue - State: closed - Opened by Jivvels about 2 months ago - 1 comment

#4 - Minor mistake

Issue - State: closed - Opened by xiisas188 about 2 months ago

#3 - Minor typo

Issue - State: closed - Opened by pastinaakslak about 2 months ago - 1 comment

#2 - Increase contrast between text colours and slides

Pull Request - State: open - Opened by QkeleQ10 2 months ago - 1 comment