somethingsome

28 ms·

1. 271.▲
   by somethingsome 6y ago

   It is not because you cannot name something that you don't understand something, even in profound levels.. the knowledge of the name is only conventional against the underlaying mechanism. It suffice to repair one wc, one time to have
2. 272.▲
   by somethingsome 6y ago

   You should take a look into Lean Theorem Prover (among others) ;)
3. 273.▲
   by somethingsome 6y ago

   I was expecting some math but there is only a norm, I would be more interested in how to transfer from advanced math to code. example : what would be a good code abstraction for a Borel Space