bessy 0.0.1
Latest version
Released:
Behavioural Specification System
Navigation
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: GNU General Public License (GPL) (GNU General Public License version 2)
- Author: Maurice HT Ling
Classifiers
- Development Status
- Intended Audience
- License
- Operating System
- Programming Language
- Topic
Project description
A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra
Project details
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: GNU General Public License (GPL) (GNU General Public License version 2)
- Author: Maurice HT Ling
Classifiers
- Development Status
- Intended Audience
- License
- Operating System
- Programming Language
- Topic