Skip to content
Snippets Groups Projects
Commit df8717e9 authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

note down bugs in the Coq export

parent da4fbf21
Branches
No related tags found
No related merge requests found
- tags that shouldn't be there, i.e. `Target`, `HasInHypothesis` and
so on
- wrong ULO namespace
- objects have relative URIs which is annoying
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment