Twig Educational Proof Assistant
Can Baykar
Published
0
Make Gentzen-style derivations via drag-and-drop. This is currently a solo project. Built with Svelte and ProseMirror.
Read more at https://www.twine.net/signin
Can Baykar
Published
Make Gentzen-style derivations via drag-and-drop. This is currently a solo project. Built with Svelte and ProseMirror.
Read more at https://www.twine.net/signin