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…)[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…)[https://www.twine.net/signin