florian-rabe Goto Github PK
Name: Florian Rabe
Type: User
Company: @KWARC
Bio: I'm a researcher on formal languages and knowledge representation. On GitHub, I am the main person behind @UniFormal and active in @KWARC and @OpenDreamKit
Location: Universities Erlangen-Nuremberg and Paris-Sud