I think the purpose of raising NotImplementedError is to protect against calling the abstract method from the class like this:

>>> from abc import ABC, abstractmethod
>>> 
>>> class Animal(ABC):
...     @abstractmethod
...     def move(self):
...         raise NotImplementedError
... 
>>> class Human(Animal):
...     def move(self):
...         print("human move")
... 
>>> Animal.move(Human())
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 4, in move
NotImplementedError

If we removed the NotImplementedError, calling the abstract move method would silently do nothing.

I think the statement should stay, or even be made more prominent in the docs. I see lots of abstract methods which wrongly (in my opinion) just have pass as the body.

Does anyone know whether linters check for this?

I cannoy say for all linters, but mypy does not catch it.