Convenience Logician Hirai UG (haftungsbeschränkt)
- Computer programs are logical construction.
- Syntactic harmony leads to semantic consistency.
- Repeated small simplifications yield clean programs.
Provision of services in the field of software engineering, in particular
- the development of computer programs in programming languages based on type theory, as well as
- expert opinions on the correctness and consistency of computer programs and their specifications.
If you are interested, send us an email.
PGP fingerprint: 3EE77DEB29E2167E722CA33B6D984915DA3E2B46