What forum software are the WPMU forums? bb-press?

I was just wondering what forum software this is? Is it just bb-press with a nice theme?

Thanks!