Comment on C*: Unifying Programming and Verification in C (2025)parentComments−kazinator3dCount me among those who would care about that enough to be completely dissuaded from naming a new language C*.
Comments
Count me among those who would care about that enough to be completely dissuaded from naming a new language C*.