Skip to content
View PKoopmann's full-sized avatar
3 followers · 1 following

Organizations

@de-tu-dresden-inf-lat

Block or report PKoopmann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. om-pmc-planning om-pmc-planning Public

    Scala 3

  2. dl-lib dl-lib Public

    Working with description logics in Python and Scala.

    Scala 1

  3. pkoopmann.github.ioOLD pkoopmann.github.ioOLD Public

    HTML

  4. pkoopmann.github.io pkoopmann.github.io Public

    Forked from academicpages/academicpages.github.io

    My personal webpage, forked from https://academicpages.github.io

    JavaScript

  5. generic-rule-reasoner generic-rule-reasoner Public

    Scala

  6. LETHE-0.8 LETHE-0.8 Public

    LETHE version 0.8

    Scala