Language, Proof and Logic
What is Language, Proof and Logic?
Language, Proof and Logic is software application developed by The Openproof Project, CSLI, Stanford University. It is most commonly found on computers running Windows 7 with nearly 57.14% of installations running this operating system. The most common release is 15.06 with 21.43% of all installations currently using this version.
Language, Proof and Logic is most popular in the United States with 79.07% of installations residing in this country.
Software Details
- URL:
- https://lpl.stanford.edu
- Support:
- –
- Installation path:
- C:\Program Files\The Openproof Project, CSLI, Stanford University\Language, Proof and Logic\
- Uninstaller:
- MsiExec.exe /I{E6442C54-325E-4252-BC46-E4840E8AA212}
- Size:
- 0.00 B
- Language:
- English
Language, Proof and Logic Executable Details
- Primary executable:
- awt.dll
- Name:
- Language, Proof and Logic
- Path:
- C:\Program Files\The Openproof Project, CSLI, Stanford University\Language, Proof and Logic\awt.dll
- MD5:
- 1640c3285459da293e1ec4bfb4af7945
- SHA-1:
- –
- SHA-256:
- –
Files installed by Language, Proof and Logic
| File Type | Filename | MD5 |
|---|---|---|
|
DLL
|
024c567ec8cfbbf5376502e40e04fb1c | |
|
DLL
|
0255962406e29a6f94a82d0181d105c9 | |
|
DLL
|
ac551dcccf7899e0d633a8e423155573 | |
|
EXE
|
091c590b218a4e5c5b0bb10b5b0ee537 | |
|
DLL
|
de43d65bd13fc2bc02c3e2d51c1c5483 | |
|
DLL
|
8c009fbb6d43bdfce500d94a9a693169 | |
|
DLL
|
f3e2b6ee24b39b8051283ebf9ec8225e | |
|
DLL
|
5fba39d92edc2163a2f50590b03e3113 | |
|
DLL
|
02d7d7da1cf8d5fedbc690ffe4e3ab07 | |
|
DLL
|
77a3eada3e3c2c820437019f64d8eaea |