3 ms·Why not a formally verified git, then, using Ada/SPARK? :)by johnisgood 5y agoWhy not a formally verified git, then, using Ada/SPARK? :)