3 followers
3,586 followers
Formal verification of bit-vector invertibility conditions in Coq. ~ Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli & Clark Barrett. https://t.co/rpdYm1gnlY #ITP #Coq
3,586 followers
Hammering floating-point arithmetic. ~ Olle Torstensson, Tjark Weber. https://t.co/HAdZikBsPy #ITP #IsabelleHOL