Skip to content

Update README.md - #83

Merged
shyamdurai merged 2 commits into
mainfrom
shyamdurai-patch-2
Aug 12, 2026
Merged

Update README.md#83
shyamdurai merged 2 commits into
mainfrom
shyamdurai-patch-2

Conversation

@shyamdurai

Copy link
Copy Markdown
Contributor
  • Title update with benchmark data.
  • Added small verifiable DB reference so its easier to follow in the features and under the hood sections.

Summary

Checklist

  • Tests added or updated (uv run pytest)
  • Type-checks pass (uv run mypy src tests / pre-commit)
  • Documentation updated (README, docs/, and/or Sphinx if API surface changed)
  • CHANGELOG.md updated under Unreleased (or version section if releasing)
  • uv lock run if pyproject.toml dependencies changed

- Title update with benchmark data.
- Added small verifiable DB reference so its easier to follow in the features and under the hood sections.
Comment thread README.md Outdated
Updated the Features section
@ProvablyAI ProvablyAI deleted a comment from shyamdurai Aug 12, 2026
@shyamdurai
shyamdurai merged commit 8a61af8 into main Aug 12, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants