Skip to content
Snippets Groups Projects
Commit a00d601d authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

spell

parent 1e5399f3
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
README.md
+ 3
− 0
View file @ a00d601d
......@@ -43,3 +43,6 @@ Topcis are available in the following larger areas, individual topics will be en
algebra, math data bases, theorem provers (in the
[OpenDreamKit](http://opendreamkit.org) EU project)
* Cognitive engineering (semantische information/help systems for CAD/CAM systems).
<!-- LocalWords: ssem
-->
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment