41 ms·

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!