3 ms·
That is pretty cool! I have also tried to address this problem in the past, but by adding annotations to the proofs (https://github.com/andrew-bedford/coqatoo h
by a-bedford 6y ago
That is pretty cool! I have also tried to address this problem in the past, but by adding annotations to the proofs (https://github.com/andrew-bedford/coqatoo https://github.com/andrew-bedford/coqatoo). It was only a proof-of-concept though.
- cpitclaudel 6y agoOh, this is great. Sorry I missed that in my related work section :/