A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for mauriceling from gravatar.com mauriceling

Credits

Author: Maurice HT Ling

License

GNU General Public License (GPL) (GNU General Public License version 2)

Classifiers

Report project as malware

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page