Published July 24, 2026 | Version v1
Software Open

Testing Theorems, Fully Automatically

Authors/Creators

  • 1. EDMO icon University of Maryland
  • 2. ROR icon University of Pennsylvania

Description

Artifact accompanying the paper Testing Theorems, Fully Automatically. README inside.

Files

Files (2.2 GB)

Name Size
md5:18151fbacdc4df7b94f8f1c81f9ca2f3
2.2 GB Download

Additional details

Software

Programming language
OCaml , Coq