excalidraw-libraries icon indicating copy to clipboard operation
excalidraw-libraries copied to clipboard

Published 20 hours ago • verified publisher icon excalidraw

feat: new library Sequent Calculus Symbols

Open excalibot opened this issue 9 months ago • 1 comments

A library for commonly used symbols in Sequent Calculus that is a branch of Formal Logic.

Submitted by @umerhuzaifa

Items: Conclusion, Premise, Implication, Turnstile, Equivalence, Disjunction, Conjunction

Installation link

excalibot avatar May 09 '24 16:05 excalibot

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated (UTC)
excalidraw-libraries ✅ Ready (Inspect) Visit Preview May 9, 2024 4:01pm

vercel[bot] avatar May 09 '24 16:05 vercel[bot]