Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

Project Samples

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Hermetica

Hermetica Web Site

Other Useful Business Software
Stop Storing Third-Party Tokens in Your Database Icon
Stop Storing Third-Party Tokens in Your Database

Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Try Auth0 for Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Hermetica!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Education, Science/Research

User Interface

Gnome

Programming Language

C, Python

Related Categories

Python Mathematics Software, C Mathematics Software

Registered

2003-11-25