3 ms·Check out some papers on type theory. They prove the most trivial things in excruciating detail.by jules 17y agoCheck out some papers on type theory. They prove the most trivial things in excruciating detail.