Liquid Proof Macros: Reproduction Package for Formal Verification

Reproduction package for research on Liquid Proof Macros, authored by Henry Blanchette from the University of Maryland, College Park. The dataset is hosted on paperswithcode and is associated with the domains of formal verification and proof assistants. Its specific content and scale require verification after download.

Use Cases

• Reproducing experimental results from a formal verification paper (inferred from domain, verify after download)
• Benchmarking proof assistant tools or macro systems (inferred from domain, verify after download)
• Studying methodologies for reproducible research in mathematics and computer science (inferred from domain, verify after download)

Strengths

• Published on paperswithcode, a platform for machine learning and AI research artifacts.
• Authored by a researcher at University of Maryland, College Park.

Limitations

• Metadata is minimal; actual content requires verification after download.
• License is listed as closed, which may restrict usage.
• Row count, file formats, and column definitions are unknown.

Provenance

Source

University of Maryland, College Park

Collection Method

Likely created as a research artifact for a paper.

Time Range

null

Freshness

Last updated date is unknown.

Geography

null