Arduino industrial 101 digital pins

Question

I don't see anything that has been clear about which digital pins map to which physical ones. If someone could point me in the right direction it would be a big help.

For exampleThrough trial and error, i've found that if i set digital pin 3 in the Arduino IDE, it is mapped to D0 on J6, but surely this is documented somewhere?

Answer 1

I found what i was looking for on the arduino github repository.

Arduino/hardware/arduino/avr/variants/