GeoProof
の編集
http://mathlibre.org/wiki/?GeoProof
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
- http://home.gna.org/geoproof/ - GeoProof is an InteractiveGeometry software with automated and interactive theorem proving features. [[:included in knxm:]] but [[:not in math-start:]]
タイムスタンプを変更しない
- http://home.gna.org/geoproof/ - GeoProof is an InteractiveGeometry software with automated and interactive theorem proving features. [[:included in knxm:]] but [[:not in math-start:]]
テキスト整形のルールを表示する
![[PukiWiki]](image/knxmpen.png "[PukiWiki]")
