Here's a breakdown:
* Harvey Comics was a major comic book publisher in the 1940s and 1950s, known for its children's comics like "Casper the Friendly Ghost", "Richie Rich", and "Little Dot". They went through various ownership changes and eventually ceased publication in 2011.
* Marvel Comics is a major publisher of superhero comics with characters like Spider-Man, Iron Man, and the X-Men. They are known for their complex storylines and iconic characters.
While both companies are significant in the history of comics, they are independent entities.