3 ms·Looks very interesting! I am very curious how a non-trivial program with proof looks :)by rubynl 11y agoLooks very interesting! I am very curious how a non-trivial program with proof looks :)