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
- Universities Erlangen-Nuremberg and Paris-Sud
- https://kwarc.info/people/frabe/
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.