Merge branch 'master' of github.com:emmo-repo/emmo-repo.github.io

emmo-repo · Dec 21, 2023 · 4989d84 · 4989d84
2 parents ea8d092 + b8ffdf7
commit 4989d84
Show file tree

Hide file tree

Showing 24 changed files with 251,832 additions and 714 deletions.
diff --git a/development b/development
diff --git a/development/emmo-inferred.ttl b/development/emmo-inferred.ttl
diff --git a/development/emmo.ttl b/development/emmo.ttl
diff --git a/emmo-inferred.ttl b/emmo-inferred.ttl