In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet.
© 1999-2024 Shareware Junction. All rights reserved. Shareware Junction Network is your source for Shareware, Freeware, Demos, Betas and Pre-Releases. This is the place to come for a first look at the hottest new software. Shareware companies need your support. Beta testing is a unique opportunity to try the latest programs and provide feedback directly to the program developers. The final version of many programs is often determined by suggestions from testers like you. Shareware Junction lets you choose from a variety of these products - all in one convenient location. Use of this site subject to Terms and Privacy Policy