## proof

<*logic*>

See also proof theory.

2. A left-associative natural language parser by Craig
R. Latta *<latta@xcf.berkeley.edu>*. Ported to Decstation
3100, Sun-4.

*ftp://scam.berkeley.edu/pub/src/local/proof/*.

E-mail: *<proof@xcf.berkeley.edu>*. Mailing list:
proof-requestf@xcf.berkeley.edu (Subject: add me).

Last updated: 1994-11-29

### Nearby terms:

Pronet ♦ Pronunciation ♦ **proof** ♦ PROOF/L ♦ proof theory ♦ propeller head

Try this search on Wikipedia, OneLook, Google