principia is a language and a system for documenting formal mathematics,
subject to syntactic and semantic conditions and structure.
All expressions are checked for syntactic
correctness, thereby eliminating a primary source of errors.
Mathematical syntax errors are highlighted just like spelling errors.
Principia is a strictly-typed
multi-sort object-oriented first-order language
with overloading, single-inheritance
and parameterised-types, that is rich enough to express
formal set-theory (which is elementary but with a definite description operator).
Principia integrates naturally with Latex, via a Latex package called PriTeX,
and the learning curve from LaTeX to Principia is small.
Principia is easier and more natural to write than LaTeX,
providing an environment facilitating ``thinking at the keyboard''.
CODESOFT is an enterprise-level RFID and barcode label design application offering unmatched flexibility, power, and support. Available in print-only, single-user, and network configurations, CODESOFT is designed to meet all of your barcode labeling needs. Whether your goal is streamlining label printing, printing labels using a form, connecting a scale to your label template, or integrating your business database with your label templates, CODESOFT provides a solution for your organization’s most advanced labeling needs. Connect to SQL or Oracle databases for business system integrations and greater efficiency. CODESOFT includes over 100 barcode symbologies including GS1, supports all common image formats, and enables rich text editing. Native printer drivers are included for over 4,000 thermal, thermal transfer, and inkjet label printers to ensure the best label printing quality.
Additional Project Details
Download