2 ms·
Yes it's very good, but still somewhat stratified. Checkout the 1ML project for something even more unified: https://people.mpi-sws.org/~rossberg/1ml/ https://p
by willtim 8y ago
Yes it's very good, but still somewhat stratified. Checkout the 1ML project for something even more unified: https://people.mpi-sws.org/~rossberg/1ml/ https://people.mpi-sws.org/~rossberg/1ml/