I've discovered that Liquidity, LigoLang and Ocamel Support Tezos development, but I've only found 1 resource that states that SmartPy supports only LigoLang. I wanted to use the right language to begin my teams project, but we all have experience writting in Python. We know that Liquidity offers a lot of Backend Support but we can't find any way to download SmartPy into our IDE.
Are we not using the right IDE? what IDE supports Both Liquidity and LigoLang Documentation ?