mirror of
https://github.com/annoyatron255/yosys4gal.git
synced 2024-12-22 18:52:23 +00:00
10 lines
142 B
Coq
10 lines
142 B
Coq