Commit 5090e388 authored by Michael Kohlhase's avatar Michael Kohlhase

Merge branch 'master' of

parents 34c23369 5107b52d
......@@ -24,7 +24,7 @@ In this title we have three components that warrant explanation:
* invent **algorithms** that analyze and transform these representations, and
* implement them in **end-user systems** that utilize both.
3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of
documents and formalizations)>
documents and formalizations).
##### KWARC Process
We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
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