Florian Rabe

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

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

Repositories
Issues
Comments

Results 1 issues of


                                            Florian Rabe

MitM use case

@nthiery @markuspf @kohlhase @tkw1536 @Jazzpirate I've talked to everybody over the last few days to coordinate how we setup our MitM use case, both in terms of short-term demoability and...

WP6

MMT

GAP

LMFDB

SageMath

FAU