xin/ysyx-workbench
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions
ysyx-workbench/npc/vsrc/example.v

3 lines
28 B
Coq
Raw Normal View History

first commit
2022-02-21 04:22:27 +00:00
module example();
endmodule
Reference in a new issue Copy permalink