Revision dbc74337eaf89d42510624ccacf4fa6fb4632ed7

Front Page

Changes from dbc74337eaf89d42510624ccacf4fa6fb4632ed7 to 3b768ae9a42d7f3c91029e8b85dc8b83c8f9533f

# Welcome to Gitit!
# ProofCafe

This is the front page of your new gitit wiki.  You can edit this
page by clicking on the "edit" tab at the top of the screen.
For instructions on how to make a link to another wiki page, see [the
Help page](Help#wiki-links). To create a new wiki page, just create a
link to it and follow the link.
ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。

Help is always available through the "Help" link in the sidebar.
More details on installing and configurating gitit are available
in the [Gitit User's Guide]().
## 概要

- 日時 : 毎月第4土曜 14:30〜16:30ごろまで。 
- 場所 : 名古屋・栄のCafe どえりゃあ(セルジュゲンズ)
- 費用 : コーヒー代
- 持ち物: あなたのラップトップまたは資料