mirror of
https://github.com/annoyatron255/yosys4gal.git
synced 2025-01-09 10:48:25 +00:00
21 lines
213 B
Coq
21 lines
213 B
Coq