3 ms·
Does anyone know if CompCert can be used to formally verify a commpiler of some other language than C, such as Assembly Language or Python ?
by whitten 12y ago
Does anyone know if CompCert can be used to formally verify a commpiler of some other language than C, such as Assembly Language or Python ?