Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

2016-10-01.md

Blame
    • Forked from KWARC / kwarc.info / www
    1199 commits behind the upstream repository.
    2016-10-01.md 197 B 
    layout: post
author: Michael Kohlhase
title: KWARC established at FAU
tags: 
   - announcement

    With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU.