Add comprehensive README.md - #20

Merged

hzhangxyz merged 8 commits into

mainfrom

copilot/add-readme-file

Nov 25, 2025

Commits on Nov 24, 2025

Initial plan
Copilot
committed
be6d069
Add comprehensive README.md for multi-language deductive system

Copilot
and
hzhangxyz
committed
6ac5f7e
Clarify Python package import and improve variable syntax formatting

Copilot
and
hzhangxyz
committed
fa5d65b
Address feedback: emphasize C++ core, tone down claims, clarify architecture

Copilot
and
hzhangxyz
committed
72d34bf
Improve README intro readability

Copilot
and
hzhangxyz
committed
8d6cd4b
Fix README examples: add all required axioms, remove unnecessary buffer_size, add match example

Copilot
and
hzhangxyz
committed
a1a2151
Add target checking and termination to C++ example in README

Copilot
and
hzhangxyz
committed
5c4ffed

Commits on Nov 25, 2025

Add missing cstdio include to C++ example in README

Copilot
and
hzhangxyz
committed
f90b44d