There are also definitely traditional proof theoretic limits. Compared to the set theories used by modern classical logicians, a language like Coq is very “weak”. As you guess, these limits are quite hard to reach in other branches of math, but it Read More
I just want to validate that this is going out. I also add that VMware has a big sales organization and can take a bit time before the that message filters its way to everyone with PTO, conferences, and such being distractors. Read More