3 ms·
It'll be possible if both databases are written using proof assistants like Coq. And I think this work is a step towards that direction.
by heng222 9y ago
It'll be possible if both databases are written using proof assistants like Coq. And I think this work is a step towards that direction.