A Proof Checker for Linear Logic
Linear logic is a refinement of traditional (or classical) logic which is conscious of resource usage, and tracks resources carefully. This logic has many applications in Computer Science (such as in the design of programming languages and resource verification tools), as well as in Quantum Information Theory and in Linguistics. This tool checks proofs in linear logic, checking if the proofs are correctly done and help build intuition about this less-known logic.
Keywords
Dissertation, Logic, Proofs, Programming Languages
Staff
[Susmit Sarkar]{ss265}