Yangtze Files

Brought to you by: neilyu

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
New Folder	2010-04-10		0
OldFiles	2006-04-15		0
release.tar.gz	2015-12-07	472.2 kB	2
code.tar.gz	2010-04-11	6.3 MB	0
Totals: 4 Items		6.7 MB	2

Other Useful Business Software

$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

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

$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.