Giters
Florian Rabe (florian-rabe)

florian-rabe

Geek Repo

38

followers

0

following

3

stars

Company:@KWARC

Location:Universities Erlangen-Nuremberg and Paris-Sud

Home Page:https://kwarc.info/people/frabe/

Github PK Tool:Github PK Tool

Organizations
UniFormal

Florian Rabe's repositories

Teaching

My lecture notes and other course materials

Language:TeXStargazers:39Issues:31Issues:98

florian-rabe.github.io

Language:HTMLStargazers:1Issues:1Issues:0

nondet

Language:TeXStargazers:1Issues:1Issues:0

Agricola

Resources relating to the Agricola board game

Language:HTMLStargazers:0Issues:1Issues:0

sage-gap-semantic-interface

Language:PythonStargazers:0Issues:0Issues:0