GitHub repository: steveearth66/proof-buddy-New
Primary language: JavaScript
Description: A web application for verifying mathematical proofs using True-False Logic (TFL) and First Order Logic (FOL), currently utilized by professors and students in courses at Drexel University.