3 ms·
With a proof assistant written in Standard ML. :) https://isabelle.in.tum.de/ https://isabelle.in.tum.de/
by eatonphil 4y ago
With a proof assistant written in Standard ML. :)
https://isabelle.in.tum.de/ https://isabelle.in.tum.de/
- javcasas 4y agoYeah, a distributed system with proofs of it working under some specific assumptions. This is the future. It's a future hard and complicated because the tools and the expertise are not here yet, but definitely the future.