3 ms·

The title of the article this points to seems to be very different from the title of this submission ... Probably pointing to wrong paper?

• guiambros 8y ago
  This seems to be the correct paper: https://arxiv.org/abs/1904.03241 https://arxiv.org/abs/1904.03241
  • fspeech 8y ago
    It would be nice to have some of the proof checker instrumentation for fast starts upstreamed into HolLight.
  • dang 8y ago
    Changed to that from https://arxiv.org/abs/1904.0324 https://arxiv.org/abs/1904.0324. Thanks!