4 ms·

There is also SSProve which has similar goal to CryptHOL: https://dl.acm.org/doi/full/10.1145/3594735 https://dl.acm.org/doi/full/10.1145/3594735 https://gith

by nioj 1y ago

There is also SSProve which has similar goal to CryptHOL: https://dl.acm.org/doi/full/10.1145/3594735 https://dl.acm.org/doi/full/10.1145/3594735 https://github.com/SSProve/ssprove https://github.com/SSProve/ssprove