RNG / Technical Documentation

[NailsEastNashville]

After having played a ton of games, season replays and leagues – and being an old school developer / IT geek — curious if there’s any technical documentation for the RNG.

Is it described somewhere?

Is it just straight JAVA?
https://docs.oracle.com/javase/8/docs/api/java/util/Random.html

Many Thanks