Yangtze

semantic research toolkits
theorem prover, plus journalized term system

Project Activity

See All Activity >

Follow Yangtze

Yangtze Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of Yangtze!

Additional Project Details

Registered

2003-11-30

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Intercalation Calculus Prover
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
ManTa
ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
athena-dpl
Athena is an interactive theorem prover, liberated from the "proofs are types" dogma!
Prikl
A theorem prover for IKL, a very expressive ontology language. Status: This project is pre-alpha.