Wiki Page for PRL Project users and development team.
...
PRL Project Component Wikis
NuPRL
LPE (Logical Programming Environment) - not yet active
FDL (Federated Digital Library) - not yet active
Correct-by-Construction Methodology
Group Restricted PagesEventML (programming language) - not yet active
...
Section | |||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|