Formally Verified C

Fresh

RL environment for C implementations formally proved against ACSL contracts with Frama-C

Type: RL Env
Tags: Coding Formal Verification
License: apache-2.0
Size: v0.1.7
Published: Sep 2026
Updated: Sep 2026
Canonical: app.primeintellect.ai/dashboard/environments/stanley-ngugi/formally-verified-c

Cite

Notes

Only stored in your browser.

Attribution

README: api.primeintellect.ai/api/v1/environmentshub/stanley-ngugi/formally-verified-c/@0.1.7/inspectAPACHE-2.0

Attribution policy →

Contributors

1