3 ms·
A different but more powerful method of ensuring reproducibility is more rigorous compilation using formally verifiable proofs. That’s what https://pi2.network
by didericis 1y ago
A different but more powerful method of ensuring reproducibility is more rigorous compilation using formally verifiable proofs.
That’s what https://pi2.network/ https://pi2.network/ does. It uses K-Framework, which is imo very underrated/deserves more attention as a long term way of solving this kind of problem.