Yangtze

Brought to you by: neilyu

Add a Review

Downloads: 0 This Week

Last Update: 2015-12-07

Download

Get an email when there's a new version of Yangtze

semantic research toolkits
theorem prover, plus journalized term system

Project Activity

See All Activity >

Follow Yangtze

Yangtze Web Site

Other Useful Business Software

AestheticsPro Medical Spa Software

Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.

Learn More

Rate This Project

User Reviews

Be the first to post a review of Yangtze!

Additional Project Details

Registered

2003-11-30

Report inappropriate content

AestheticsPro Medical Spa Software

Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

Learn More

Recommended Projects

z-vimes
Type checker and (eventually) theorem prover for the Z specification language.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
Lean 4
Lean 4 programming language and theorem prover
Spacecraft Simulation Framework
The Spacecraft Simulation Framework is a collection of toolkits & libraries to assist in the modeling, testing & analysis of spacecraft.
NCHC-TDW
NCHC's Tiled Display Wall ToolKits (TDW)