From a7742f361d6927cf257d2a659f136a9ec090a5f8 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 3 May 2017 10:04:43 +0200
Subject: [PATCH] new

---
 projects/llamapun.md | 15 +++++++++++++++
 projects/sTeX.md     | 11 +++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 projects/llamapun.md
 create mode 100644 projects/sTeX.md

diff --git a/projects/llamapun.md b/projects/llamapun.md
new file mode 100644
index 0000000..8527a28
--- /dev/null
+++ b/projects/llamapun.md
@@ -0,0 +1,15 @@
+---
+layout: project
+menu_title: LLaMaPuN
+title: LLaMaPuN: Language and Mathematics Processing and Understanding 
+pillar: semantization
+start: 2008-11
+people: mkohlhase,dginev,jfschaefer,itoloacaa
+---
+The LaMaPUn project investigates the structure and meaning of scientific/technical
+documents and builds tools for extracting semantic representations from them that can be
+used to enhance access to and interaction with document corpora.
+
+The LLaMaPUn library consists of a wide range of processing tools for natural language and
+mathematics. Its repository is at https://github.com/KWARC/LLaMaPUn/
+
diff --git a/projects/sTeX.md b/projects/sTeX.md
new file mode 100644
index 0000000..ebb657b
--- /dev/null
+++ b/projects/sTeX.md
@@ -0,0 +1,11 @@
+---
+layout: project
+menu_title: sTeX
+title: sTeX: Semantic Markup for LaTeX
+pillar: semantization
+start: 2004-09
+people: mkohlhase,dginev
+---
+The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
+system allows to embed [/structural semantics](/research/structural-semantics) into documents. For details see the [sTeX project on GitHub](https://github.com/KWARC/sTeX).
+
-- 
GitLab