2 ms·
A can’t miss awesome thing for people on the precipice of the dependent type theory rabbit hole is 1lab: https://1lab.dev/#lab https://1lab.dev/#lab 1lab is th
by jshaqaw 4y ago
A can’t miss awesome thing for people on the precipice of the dependent type theory rabbit hole is 1lab: https://1lab.dev/#lab https://1lab.dev/#lab
1lab is the future for mathematics research that deserves to happen.
- still_grokking 4y agoIt's a pity I can't up-vote more than once. Really great resource! Thanks for sharing!