Florian Rabe

icon indicating a website link https://kwarc.info/people/frabe/

icon company @KWARC icon location Universities Erlangen-Nuremberg and Paris-Sud icon location 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

Results 1 repositories owned by Florian Rabe

Teaching

39
Stars
32
Forks
Watchers

My lecture notes and other course materials

verified publisher icon florian-rabe