Loreon
Labs
Platform
Docs
Home
Ecosystems
TypeScript
vitefolts
vitefolts First Order Logic Typescript theorem prover
TypeScript
Emerging
clausal-normal-form
first-order-logic
javascript
peano-axioms
GitHub
Stars
8
Forks
1
Contributors
1
Last push
23mo ago
Recent commits
Latest commits.
Merge pull request #20 from rudi-cilibrasi/improve-docs-more-03
926ce9a
Rudi Cilibrasi
23mo ago
add video link
d917671
Rudi Cilibrasi
23mo ago
Merge pull request #5 from rudi-cilibrasi/improve-docs-more-02
6d62bdd
Rudi Cilibrasi
23mo ago
fix again
02df238
Rudi Cilibrasi
23mo ago
Merge pull request #4 from rudi-cilibrasi/improve-docs-more-02
0cbef4e
Rudi Cilibrasi
23mo ago
more guide
dd631f2
Rudi Cilibrasi
23mo ago
Merge pull request #3 from rudi-cilibrasi/improve-docs-more
95a0906
Rudi Cilibrasi
23mo ago
fix docs more
4a334e0
Rudi Cilibrasi
23mo ago
Top contributors
Builders behind this project.
rudi-cilibrasi
21 commits
