Skip to content
Snippets Groups Projects
Commit 81951bf5 authored by Michael Kohlhase's avatar Michael Kohlhase Committed by GitHub
Browse files

typo

parent cde3d00d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-09-01-tetrapod.md
+ 1
− 1
View file @ 81951bf5
......@@ -5,5 +5,5 @@ title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018
tags:
- event
---
The KWARC group is (jointly with with Jacques Carette fro McMaster University)
The KWARC group is (jointly with with Jacques Carette from McMaster University)
co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.
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