mohammadmonjil/Implementation-and-Formal-Correctness-of-a-Floating-Point-Adder

A exercise on theorem proving, design and correctness of a floating point adder in ACL2