From 440ffc51f01b2bd9e43d426428e30074a6e2f6e8 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Aug 2018 18:41:43 +0200
Subject: Update README.md

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 92464c7..a19b0fc 100644
--- a/README.md
+++ b/README.md
@@ -12,9 +12,10 @@ Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`.
 
 ## Collaboration
 
-I've been working on this library as part of my Masters project, and there are very many improvements and developments that have yet to be implemented.
+I've been flying solo on this library as part of my Masters project, and there are very many improvements and developments that have yet to be implemented, so...
+
+*Collaborators are welcome!*
 
-Collaborators are welcome!
 If you're interested in working together on any part of this do drop me a line at `joshua DOT chen AT uni-bonn DOT de`.
 
 ## License
-- 
cgit v1.2.3