mirror of
git://projects.qi-hardware.com/nn-usb-fpga.git
synced 2025-01-24 11:41:05 +02:00
17 lines
292 B
Coq
17 lines
292 B
Coq