Facts
- Appeared
- 1973
- Type system
- weak typing
- Kind
- proof assistant, software
- Paradigms
- declarative programming
- Designed by
- Andrzej Trybulec
- Influenced by
- Automath
- Used for
- automated theorem proving
- Influences listed
- 1
Sources: Wikidata (CC0) · Wikidata Q1609529