Getting started with TinyFPGA board (Lattice Semiconductor MACHXO2 chip)
Here is another answer on StackExchange which explains pin assignment for Lattice devices: https://electronics.stackexchange.com/a/232013/213609

As a starting point, I'd suggest you just synthesize some super-primitive combinatorial logic like a NOT gate or even just fixed '0' and '1' values so you can prove to yourself that you're getting the pin assignments correct. Once that's working, then move on to the counter with its CLK and RST signals.