Mic92
/
heron_sqrt
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
heron_sqrt/sqrt.v

2 lines
21 B
Coq
Raw Normal View History

first
2013-11-11 09:26:27 +00:00
module incrementor()