11be223 Refactor proofChecker to support flexible requirements for existential elimination and improve validation logic for universal and existential introductions. Added error handling and enhanced checks for citation formats and substitutions.

~tonic pushed to ~tonic/fitch-js git

ec75348 Merge branch 'master' of git.sr.ht:~tonic/fitch-js

~tonic pushed to ~tonic/fitch-js git

30241b4 Code Consistency

~tonic pushed to ~tonic/burrow git

d1d0409 New Shortcodes!

~tonic pushed to ~tonic/burrow git

7263fa3 Add proof test with multiple validation issues

~tonic pushed to ~tonic/fitch-js git

d526405 Add demo link to README

~tonic pushed to ~tonic/fitch-js git

22e5804 Updated License

~tonic pushed to ~tonic/fitch-js git

b9162c5 Add test for proof validation with multiple issues

~tonic pushed to ~tonic/fitch-js git

d82ad31 Build

~tonic pushed to ~tonic/fitch-js git

c7973aa No more images in feeds

~tonic pushed to ~tonic/burrow git

03e0022 Added Mermaid Support

~tonic pushed to ~tonic/burrow git

c65e630 Fixed Spacing

~tonic pushed to ~tonic/burrow git

62d1c9d Prettier

~tonic pushed to ~tonic/burrow git

2df193f prettier

~tonic pushed to ~tonic/burrow git