While Proteus supports Arduino simulation directly, you must manually add the libraries to enable specific boards:
