samvitm/sequent
Prove a sequent by usings its Truth Table. Reduce an expression into its CNF
Public GitHub Catalog
Discovered Sep 27, 2026
samvitm / eventreg
Simple event registration
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9012245GitHub System ID
samvitmOrganization / User
PublicVisibility
ActiveCatalog Status
More from samvitm
samvitm/imagespam
Image Spam Filter using SVM
samvitm/wilp
Project for Work Intergrated Learning Programs Division BITS Pilani
samvitm/spl
Lexer and Parser for a very simple language