Prove some properties regarding the sample adder
Created by: joaopizani
From @joaopizani on June 17, 2014 8:43
As a first step in trying to see how the lib and Agda behaves with "larger" circuits.
Copied from original issue: joaopizani/piware#18
Created by: joaopizani
From @joaopizani on June 17, 2014 8:43
As a first step in trying to see how the lib and Agda behaves with "larger" circuits.
Copied from original issue: joaopizani/piware#18