Commit History

Rename from tiny-HalfAdder-verified
0fc2474
verified

phanerozoic commited on