<?xml version="1.0" encoding="UTF-8" ?>
<rss version='2.0'>
<channel>
<title>算散士の掲示板</title>
<description>新着投稿一覧</description>
<link>http://sanzan.bbs.fc2.com/</link>
<ttl>60</ttl>
<copyright>FC2, inc</copyright>
<item>
<title>排中律の証明</title>
<author>算散士</author>
<link>http://sanzan.bbs.fc2.com/?act=reply&amp;tid=6748052</link>
<description><![CDATA[Coqで証明したので、循環論法にはなってないと思います。]]></description>
<pubDate>Wed, 03 Feb 2016 15:00:12 +0900</pubDate>
</item>
</channel>
</rss>
