GitHub repository: proofdict/editor
Primary language: TypeScript
Description: Proofdict editor.