Flyweight implementation of abstraction logic in TypeScript for experimenting with abstraction logic in practice.
Pointers for the paper submitted to CADE-30 (you can run each example,
for example npm run Example-2):
- Example-2: src/theories/Example-2.theory.ts
- Example-8: src/theories/Example-8.theory.ts
- Implication: src/theories/Implication.theory.ts
- Minimal-Logic: src/theories/Minimal-Logic.theory.ts
- Intuitionistic-Predicate-Logic: src/theories/Intuitionistic-Predicate-Logic.theory.ts
- Classical-Predicate-Logic: src/theories/Classical-Predicate-Logic.theory.ts
- Lambda-Calculus: src/theories/Lambda-Calculus.theory.ts
- Peano: src/theories/Peano.theory.ts
- Peano-Recursion: src/theories/Peano-Recursion.theory.ts