sentence: assignments : no measurement/calculations : yes ( calculator is bit strange ) platform : unix/linux , windows , mac os ( anything which supports qt ) proofs : no extra : editable non-euclid non-euclid is a very basic java - igs used only for hyperbolic geometry in the poincaré disk and the upper half-plane models .