Lentil Sloppy Joes

Name: Lentil Sloppy Joes
Ingredients: 1 cup green lentils; 1/4 teaspoon kosher salt; 2 tablespoons olive oil; 1 medium yellow onion , diced small; 1 pepper green pepper , diced small; 2 small carrots , diced small; 3 cloves garlic , minced; 1 tablespoon mild chili powder; 2 teaspoons paprika; 1/2 cup ketchup; 1 cup tomato sauce; 2 tablespoons apple cider vinegar; 2 tablespoons brown sugar; 1/2 cup water; Kosher salt and freshly ground black pepper , to taste; 8 buns , for serving; Sliced red onion , for serving; Pickles , for serving