Overview
Publications
Github
Contribute
Annotation
Examples
Isabelle Parallel Corpus
The best way to access the IPC is on github:
The IPC on Github
Isabelle Parallel Corpus
Isabelle Parallel Corpus