konarak/nand2
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
nand2/01_Boolean_Logic/00_Nand/Include.v

2 lines
41 B
Coq
Raw Permalink Normal View History

added v2.0
2023-01-11 11:13:09 +01:00
`include "../../01_Boolean_Logic/Nand.v"
Reference in New Issue Copy Permalink