3 ms·If only c++ and llvm constituted a proof assistant..by cannabis_sam 5y agoIf only c++ and llvm constituted a proof assistant..