Published January 22, 2024
| Version 0.1.4
Software
Open
coq-community/trocq: Trocq 0.1.4
Description
This is a demo version of Trocq.
Files
coq-community/trocq-0.1.4.zip
Files
(1.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:aeb05328ba868b67c37bfdb6bb25a8a1
|
1.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/coq-community/trocq/tree/0.1.4 (URL)
- Publication: arXiv:2310.14022 (arXiv)