Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/xanewok/tftp-coq
Simple TFTP server written in Coq - assignment for Computer-aided verification @ University of Warsaw
https://github.com/xanewok/tftp-coq
Last synced: 7 days ago
JSON representation
Simple TFTP server written in Coq - assignment for Computer-aided verification @ University of Warsaw
- Host: GitHub
- URL: https://github.com/xanewok/tftp-coq
- Owner: Xanewok
- Created: 2018-06-12T20:29:10.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-06-28T20:43:41.000Z (over 6 years ago)
- Last Synced: 2024-12-12T19:43:30.998Z (10 days ago)
- Language: Coq
- Size: 25.4 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# `tftp-coq`
Simple TFTP server written in Coq - assignment for Computer-aided verification @ University of Warsaw
## Tested under:
* coqc 8.7.2
* ocaml 4.04.1
* ocamlbuild 0.11