GeoProof
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
- 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]")
