https://github.com/dmxlarchey/php-short
A short Coq proof of the PHP
https://github.com/dmxlarchey/php-short
Last synced: about 1 month ago
JSON representation
A short Coq proof of the PHP
- Host: GitHub
- URL: https://github.com/dmxlarchey/php-short
- Owner: DmxLarchey
- Created: 2021-11-25T11:04:07.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-01-17T10:26:00.000Z (over 2 years ago)
- Last Synced: 2025-02-16T14:27:12.820Z (3 months ago)
- Language: Coq
- Size: 14.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: