There is a newer version of the record available.

Published February 26, 2024 | Version v3
Software Open

Automated Proof Tactics for Model Transformation (artifact)

Authors/Creators

  • 1. ROR icon Nantes Université
  • 2. ROR icon IMT Atlantique

Description

Source code that comes with the article Automated Proof Tactics for Model Transformation (submitted to publication)

Files

CoqTLTactics-2.1.zip

Files (214.8 kB)

Name Size Download all
md5:471cde12077887e02c52a8e8f7ee030d
214.8 kB Preview Download