Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / chanind/tensor-theorem-prover issues and pull requests
#6 - Multithreading
Pull Request -
State: closed - Opened by chanind about 2 years ago
- 1 comment
#5 - fix: improving consistency on identical runs
Pull Request -
State: closed - Opened by chanind about 2 years ago
#4 - Rust backend
Pull Request -
State: closed - Opened by chanind about 2 years ago
- 1 comment
#3 - adding basic docs site using sphinx
Pull Request -
State: closed - Opened by chanind about 2 years ago
- 1 comment
#2 - feat: dedupe disjunctions and add option to prune search tree
Pull Request -
State: closed - Opened by chanind about 2 years ago
- 1 comment
#1 - feat: track proof stats to make performance tweaks easier
Pull Request -
State: closed - Opened by chanind about 2 years ago