File:Three-Way Deal verification.zip
Jump to navigation
Jump to search
Three-Way_Deal_verification.zip (file size: 7 KB, MIME type: application/zip)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
Summary
Transition table, proof of the halting criterion, list of 59 positive integers, and two Python verification scripts for Three-Way Deal. Released under Creative Commons Attribution 4.0 (CC BY 4.0).
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 08:41, 26 October 2026 | (7 KB) | Shivamshaiv (talk | contribs) | Transition table, proof of the halting criterion, list of 59 positive integers, and two Python verification scripts for Three-Way Deal. Released under Creative Commons Attribution 4.0 (CC BY 4.0). |
You cannot overwrite this file.
File usage
The following page uses this file: