search

MathHubInfo / Frontend

A new MathHub Narration Frontend written in React.
GNU Affero General Public License v3.0
2 stars 0 forks source link

make an alighments interface and start collecting alignments on oaf.mathhub.info #76

Open kohlhase opened 8 years ago

kohlhase commented 8 years ago

@florian-rabe and I started talking about collecting alignments for the OAF project. This should be relatively easy to do once we have browsing for the formal libraries on oaf.mathhub.info.

We should have an interface that makes it relatively easy to deposit alignments to mathhub. I guess they can be stored as "relational" information. But that begs the question where they should be stored, since they are inter-archive. Do we have a "library-level" relational as well? Maybe in the "meta-inf" archive?

I guess we should discuss this.

cc: @m-iancu

kohlhase commented 5 years ago

We now have alignments from ODK, so having this is realistic and timely now.

tkw1536 commented 3 years ago

Not sure if this is still relevant, @Jazzpirate ?

kohlhase commented 3 years ago

It would be very nice, to extend the MWS harverster, so that it harvests all the alignment-translations as well.