bdrum·3 năm trước·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 năm trước·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 năm trước·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 năm trước·discussI've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...
bdrum·5 năm trước·discussThere are so many news about different exploits. Let's closer look how it is working.