Skip to content
/ Booleanism Public

Trying to build logic & proof system library on TypeScript.

1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

lebrancconvas/Booleanism

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
notes
notes
 
 
tests
tests
 
 
utils
utils
 
 
.gitignore
.gitignore
 
 
CLAUDE.md
CLAUDE.md
 
 
README.md
README.md
 
 
bun.lock
bun.lock
 
 
index.ts
index.ts
 
 
package.json
package.json
 
 
tsconfig.json
tsconfig.json
 
 

Repository files navigation

logicism

To install dependencies:

bun install

To run:

bun run index.ts

This project was created using bun init in bun v1.2.18. Bun is a fast all-in-one JavaScript runtime.

About

Trying to build logic & proof system library on TypeScript.

Topics

proof logic typescript-library propositional-logic formal-languages modal-logic intuitionistic-logic symbolic-logic predicate-logic classical-logic non-classical-logics analytic-philosophy

Resources

Readme
Activity

Stars

1 star

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages