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
#28 - Mu to lambda
Pull Request -
State: closed - Opened by yforster about 5 years ago
#27 - Informative lift of the definition of reduces, i.e. ⪯
Pull Request -
State: closed - Opened by DmxLarchey about 5 years ago
- 5 comments
Labels: enhancement
#26 - A fork for smoother reduction dio_form -> dio_elem
Pull Request -
State: closed - Opened by DmxLarchey about 5 years ago
- 4 comments
Labels: enhancement
#25 - Repository structure
Issue -
State: open - Opened by yforster about 5 years ago
- 8 comments
#24 - Starting a proof of the full Trakhtenbrot with Dominik
Pull Request -
State: closed - Opened by DmxLarchey over 5 years ago
- 2 comments
#23 - H10UC + FMsetC + HSC + LPolyNC
Pull Request -
State: closed - Opened by mrhaandi over 5 years ago
- 4 comments
#22 - Construction of an H10C-universal µ-recursive function
Pull Request -
State: closed - Opened by DmxLarchey over 5 years ago
- 9 comments
Labels: enhancement
#21 - A BIG commit containing the DIO_SINGLE -> µ-REC -> MM reductions
Pull Request -
State: closed - Opened by DmxLarchey over 5 years ago
Labels: enhancement
#20 - Update README.md
Pull Request -
State: closed - Opened by ghost over 5 years ago
- 1 comment
#19 - Import new version of the Turing framework (with Hoare)
Pull Request -
State: closed - Opened by ghost over 5 years ago
- 1 comment
#18 - trakhtenbrot's theorem
Pull Request -
State: closed - Opened by dominik-kirst over 5 years ago
#17 - Fixing the induction-on mess
Pull Request -
State: closed - Opened by DmxLarchey over 5 years ago
Labels: enhancement
#16 - Require Program to avoid spurious compilation bug
Pull Request -
State: closed - Opened by fakusb over 5 years ago
#15 - Update README.md
Pull Request -
State: closed - Opened by fakusb over 5 years ago
#14 - Reduce the dependencies on metacoq
Issue -
State: closed - Opened by fakusb over 5 years ago
- 1 comment
#13 - Removed "Require Export Shared.Prelim." from Reduction.v
Pull Request -
State: closed - Opened by mrhaandi over 5 years ago
#12 - Merged changes from TM-verification repository
Pull Request -
State: closed - Opened by fakusb over 5 years ago
#11 - Testing travis for the non-opam branch
Pull Request -
State: closed - Opened by yforster over 5 years ago
- 6 comments
#10 - workaround for coq 8.10 (windows) compilation
Pull Request -
State: closed - Opened by mrhaandi over 5 years ago
- 1 comment
#9 - Merged public changes for private complexity development
Pull Request -
State: closed - Opened by fakusb over 5 years ago
- 2 comments
#8 - added reduction from L to TM
Pull Request -
State: closed - Opened by fakusb almost 6 years ago
#7 - Proof of reduction for LM_Lin compiles again
Pull Request -
State: closed - Opened by fakusb almost 6 years ago
#6 - New repo structure, added Turing machines and lambda-calculus
Pull Request -
State: closed - Opened by yforster almost 6 years ago
- 42 comments
#5 - 2 counters Minsky machines
Pull Request -
State: closed - Opened by DmxLarchey almost 6 years ago
Labels: enhancement
#4 - Constraints
Pull Request -
State: closed - Opened by DmxLarchey almost 6 years ago
Labels: enhancement
#3 - Mm fractran, simplified backward step proof
Pull Request -
State: closed - Opened by DmxLarchey about 6 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 about 6 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 about 6 years ago
- 2 comments
Labels: enhancement