Isabelle Parallel Corpus

Examples of Parallel Annotation

Here you will find a few case studies for identifying sentences in the natural language source and pairing them to statements in the corresponding Isabelle script.