What plugin does wpmudev use for its courses for the academy?

Hi,

What plugin does wpmudev use for its courses for the academy?