Update the Demo Video - Githubissues

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic

MIT License

37 stars 1 forks source link

Update the Demo Video #32

Open melvic-ybanez opened 1 month ago

melvic-ybanez commented 1 month ago

The README's Screenshot and Demos section contains a video that was created before the entailment-wide standardization and skolemization were implemented.

This task is about updating that video to reflect the latest changes.