bdrum·3 lata temu·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 lata temu·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 lata temu·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.