bdrum·4 anni fa·discussLooks very cool, but what I've wondered - there is any other tool like Isabelle? upd. https://en.wikipedia.org/wiki/Proof_assistant
bdrum·4 anni fa·discussDo you know why so many tiny text editors are exists? Thats because of gang of four book that based on text editor example...
bdrum·4 anni fa·discussI've added a comment to the issue How to plot a data frame https://github.com/Onelinerhub/onelinerhub/issues/1378#issue...Actually concerning visualization tasks I don't see a sense in one line solution because as I think you should understand how you want to represent your data and this has strong influence to calling signatures.
bdrum·5 anni fa·discussI've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...
bdrum·5 anni fa·discussThere are so many news about different exploits. Let's closer look how it is working.