Published April 27, 2024
| Version 0.1.6
Software
Open
coq-community/trocq: Trocq 0.1.6
Authors/Creators
- 1. Inria
-
2.
Vrije Universiteit Amsterdam
Description
This is a demo version of Trocq.
Files
coq-community/trocq-0.1.6.zip
Files
(444.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f3adfacbf7d3acc73ba705c115b470e2
|
444.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/coq-community/trocq/tree/0.1.6 (URL)