Login
Logout
Login / Get an account
Logout
view
revert
history
discuss
Revision 3b768ae9a42d7f3c91029e8b85dc8b83c8f9533f
Front Page
ProofCafe
概要
ProofCafe
ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。
概要
日時 : 毎月第4土曜 14:30〜16:30ごろまで。
場所 : 名古屋・栄のCafe どえりゃあ(セルジュゲンズ)
費用 : コーヒー代
持ち物: あなたのラップトップまたは資料
Site
Front page
All pages
Categories
Random page
Recent activity
Upload a file
Help
This page
Raw page source
Printable version
Delete this page
LaTeX
ConTeXt
Texinfo
reST
Markdown
CommonMark
Plain text
MediaWiki
Org-mode
ICML
Textile
AsciiDoc
Man page
DocBook
DZSlides
Slidy
S5
EPUB
ODT
DOCX
RTF