There is a newer version of the record available.

Published October 26, 2024 | Version AE-updated
Software Open

LucianoXu/DiracImplementation: AE-updated

Description

CoqQ environment configuration updated.

Files

LucianoXu/DiracImplementation-AE-updated.zip

Files (3.1 MB)

Name Size
md5:db4b45278a1ebf8b28d19745ef7cd1f9
3.1 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/LucianoXu/DiracImplementation/tree/AE-updated (URL)