Copy proofs to proto alpha
The goal is to copy the proofs from proto K to the translation of proto alpha, fixing the paths. If some proof files are not compiling, then they can be added to the blacklist.txt file.
Edited by Daniel Hilst
The goal is to copy the proofs from proto K to the translation of proto alpha, fixing the paths. If some proof files are not compiling, then they can be added to the blacklist.txt file.