3 ms·What is Proved and What is Assumed17 points by zekers 12y agoasymmetric 12y agoOT: first time I see a .systems domain, exciting!