Commit b19df8e2 authored by Michael Kohlhase's avatar Michael Kohlhase

typo

parent 45394590
......@@ -31,7 +31,7 @@ We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
1. **Analysis**: we analyze the corpora for patterns and structures.
2. **Synthesis**: we design and build meta-artefacts (languages, algorithms, and systems)
and derive data sets from the corpora.
3. **Experimentation** we evaluate the representation languages and algorithms on the
3. **Experimentation**: we evaluate the representation languages and algorithms on the
corpora and the systems on end users (mathematicians).
#### Recent News ([see all](/news/))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment