SWiM/Flyspeck
From MathWeb
< SWiM
Import the Flyspeck data for annotation (and exchange?)
Data format
- Originally Twelf
- Can be converted to OMDoc
- This would be imported into SWiM (will soon be possible)
Editing the data
- The formal parts are edited in the Twelf source
- Informal additions and annotations should not be broken when a new version is imported from the Twelf source (how to do that? locutor?)
- Preferably use discussion pages (are available, but no OMDoc supported on them so far)
References
- Trac ticket (swimtrac:ticket:1426) about this case study
