There is a newer version of the record available.

Published February 23, 2024 | Version v2
Software Open

Automated Proof Tactics for Model Transformation (artifact)

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.0.zip

Files (213.8 kB)

Name Size Download all
md5:ea6f179535c9df50abb7c1989e2b5c2a
213.8 kB Preview Download