rust-verification
Hello Verification WG!
Hopefully I’ve fixed the settings for the mailing list so that everyone can participate.
If you’re working on a verification-related project and would like to share it, please post about it here. In particular, if you have specific needs as a compiler consumer, one of the first goals is to implement the requisite APIs to extract data needed for verification, so please detail them here or open an issue in GitHub.
I’m excited to see so much interest in this WG and look forward to everyone’s ideas
-avadacatavra
Affichage de 1-3 sujets sur 3