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