My closest approach would be the Mizar system, or per- haps Dubhe.

The Mizar system hosts a habitable planet noted for its luxurious resorts and vain inhabitants.

The Mizar system is home to powerful, xenophobic aliens physically integrated into the geology of their planets.

The Mizar planetary system can be visited in the Frontier series, but it is uninhabited.

Formal definition in the Mizar system.

The university participated in the initial development of the Mizar system.

Papers related to the Mizar system regularly appear in the peer-reviewed journals of the mathematic formalization academic community.

Another rigorous 6,500-line formal proof was produced in 2005 by an international team of mathematicians using the Mizar system.

Based on the Mizar system of statistics.

Formal definition of probability in the Mizar system, and the list of theorems formally proved about it.