There is a newer version of the record available.

Published January 22, 2024 | Version 0.1.4
Software Open

coq-community/trocq: Trocq 0.1.4

Authors/Creators

  • 1. Inria

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)