Ecosyste.ms: Issues

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

GitHub / uds-psl/coq-library-undecidability issues and pull requests

#18 - trakhtenbrot's theorem

Pull Request - State: closed - Opened by dominik-kirst almost 5 years ago

#17 - Fixing the induction-on mess

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago
Labels: enhancement

#16 - Require Program to avoid spurious compilation bug

Pull Request - State: closed - Opened by fakusb almost 5 years ago

#15 - Update README.md

Pull Request - State: closed - Opened by fakusb almost 5 years ago

#14 - Reduce the dependencies on metacoq

Issue - State: closed - Opened by fakusb almost 5 years ago - 1 comment

#13 - Removed "Require Export Shared.Prelim." from Reduction.v

Pull Request - State: closed - Opened by mrhaandi almost 5 years ago

#12 - Merged changes from TM-verification repository

Pull Request - State: closed - Opened by fakusb almost 5 years ago

#11 - Testing travis for the non-opam branch

Pull Request - State: closed - Opened by yforster almost 5 years ago - 6 comments

#10 - workaround for coq 8.10 (windows) compilation

Pull Request - State: closed - Opened by mrhaandi almost 5 years ago - 1 comment

#9 - Merged public changes for private complexity development

Pull Request - State: closed - Opened by fakusb about 5 years ago - 2 comments

#8 - added reduction from L to TM

Pull Request - State: closed - Opened by fakusb over 5 years ago

#7 - Proof of reduction for LM_Lin compiles again

Pull Request - State: closed - Opened by fakusb over 5 years ago

#6 - New repo structure, added Turing machines and lambda-calculus

Pull Request - State: closed - Opened by yforster over 5 years ago - 42 comments

#5 - 2 counters Minsky machines

Pull Request - State: closed - Opened by DmxLarchey over 5 years ago
Labels: enhancement

#4 - Constraints

Pull Request - State: closed - Opened by DmxLarchey over 5 years ago
Labels: enhancement

#3 - Mm fractran, simplified backward step proof

Pull Request - State: closed - Opened by DmxLarchey over 5 years ago - 1 comment
Labels: enhancement

#2 - Transfer of n-ary DPRM + reduction from TM_Halt to H10

Pull Request - State: closed - Opened by DmxLarchey over 5 years ago - 2 comments
Labels: enhancement

#1 - moved the libraries in ILL/Utils ILL/Vec in Shared/Libs/DLW

Pull Request - State: closed - Opened by DmxLarchey over 5 years ago - 2 comments
Labels: enhancement