bdrum·قبل 3 سنوات·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 سنوات·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 سنوات·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.