SWiM/Flyspeck

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)