Trying to use GPIO on rock 4c+

I want to use an rock 4 c+ as pulse counter using gpio so i tried to follow the instructions in the webpage and downloaded and installed debian 11 and tried to install the drivers to control the gpio Install Libmraa but the page is completely emply and im not able to find any manual, i installed manually but something is not working when trying to run a .py

Traceback (most recent call last):
File “/home/radxa/”, line 8, in
gpio_pin = mraa.Gpio(PIN_GPIO)
AttributeError: module ‘mraa’ has no attribute ‘Gpio’

Can someone help me?
Thank you