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

Metadata

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

Release history Release notifications | RSS feed

This release

0.0.1 This release

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page