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...