5 ms·
It would be nice to have some of the proof checker instrumentation for fast starts upstreamed into HolLight.
by fspeech 7y ago
It would be nice to have some of the proof checker instrumentation for fast starts upstreamed into HolLight.
loading thread…