Convenience Logician Hirai UG (haftungsbeschränkt)
- Computer programs are logical construction.
- Syntactic harmony leads to semantic consistency.
- Repeated small simplifications yield clean programs.
Technical Debt Hunting.
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 or follow us on Twitter.
Convenience Logician Hirai UG (haftungsbeschränkt) email@example.com
PGP fingerprint: 3EE77DEB29E2167E722CA33B6D984915DA3E2B46