1. Clausal Language CL A programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II. Paul Voda Home http://www. fmph. uniba. sk/~voda.
clausal language |
