GradVerArtifacts. Proofs for properties of a gradually verified language based on a statically verified one.

github.com/olydis/GradVerArtifacts

Problem

Audience

Updates

No founder updates yet. Check back soon.