This is a client-side exploration of metamath's set.mm, which is verified here.
This downloads a 40MB file, which takes a while to load and parse. But once it is parsed, you can navigate the database below: