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

Update technical.md removing done things

parent 5499968c
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -36,10 +36,6 @@ Currently, this is just a manually curated [page on the SIGMathLing web site](/r
Currently, this is just a manually curated [page on the SIGMathLing web site](/systems/), eventually we will statically generate it from an internal data base of resources and/or harvested from the repositories. Licensing should be made transparent.
### Communication Channels
We start out with a members mailing list, a public atom feed for announcments (from the web site), later there may even be a regular newsletter that digests these.
### Math Analysis Blackboard
MK would like develop and publish an annotation schema (using the KAT schema as a starting point) and establish a math result triple store that manages all of these. Technical details are still open how best to do this, but Deyan is quite skeptical.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment