Description

This is the artifact for submission A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler at ICFP’24.

Provenance

The source code was written by the authors of the paper.

License