10 lines
296 B
Coq
10 lines
296 B
Coq
|
`include "../../01_Boolean_Logic/Nand.v"
|
||
|
|
`include "../../01_Boolean_Logic/Not.v"
|
||
|
|
`include "../../01_Boolean_Logic/Buffer.v"
|
||
|
|
`include "../../01_Boolean_Logic/And.v"
|
||
|
|
`include "../../01_Boolean_Logic/Or.v"
|
||
|
|
`include "../../01_Boolean_Logic/Xor.v"
|
||
|
|
|
||
|
|
`include "../../02_Boolean_Arithmetic/HalfAdder.v"
|
||
|
|
|