7 followers
3,684 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,684 followers
Hammering floating-point arithmetic. ~ Olle Torstensson, Tjark Weber. https://t.co/HAdZikBsPy #ITP #IsabelleHOL