From Constructive Proofs to Executable Programs
READYYou are viewing the official incident record for From Constructive Proofs to Executable Programs. This media clip has a total duration of 6:21.
To save audio or video clips, click the direct download links below.
| Case Title | From Constructive Proofs to Executable Programs |
| Duration | 6:21 Min |
| Total Views | 64 Views |
| Source Channel | ThoughtLab |
| File Size | 8.72 MB |