Skip to content
Block or report user

Report or block thahmann

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Pro

Popular repositories

  1. macleod

    Ontology development environment for Common Logic (CL)

    Python 6 4

  2. spatialai

  3. cardinal-directions

    Python

118 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2019

thahmann has no activity yet for this period.

March 2019

Created an issue in gruninger/colore that received 2 comments

Imports in occupy_def correct?

in occupy/definitions/occupy_def.clif I changed the import (cl-domain region (cl-imports http://colore.oor.net/mereology/mereology_def.clif)) to (c…

2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.