4 ms·
For the Coq proof assistant, a recent approach to graphical proofs is Actema: https://www.actema.xyz/ https://www.actema.xyz/
by butokai 3y ago
For the Coq proof assistant, a recent approach to graphical proofs is Actema: https://www.actema.xyz/ https://www.actema.xyz/