Falso 定理証明系の大革命

Jacques Garrigue @garriguejej

最強の証明体系を発見。http://estatis.coders.fm/falso/

Hajime Hoshi @hajimehoshi

P=NP が証明されて、いまレビュー中??: http://bit.ly/aPCNlp

Takuo Watanabe @wtakuo

すばらしい．もうCoqは捨ててこれで行こう．:-) RT @garriguejej: 最強の証明体系を発見。http://bit.ly/apxKUT

yoriyuki @yoriyuki

AgdaならFalsoをエミュレートできます。　http://bit.ly/b6DR2C @tmiya_: RT @wtakuo: すばらしい．もうCoqは捨ててこれで行こう．:-) RT @garriguejej: 最強の証明体系を発見。http://bit.ly/apxKUT

Üe🦀 @ranha

ぼくの書いたretweetってスペルあってるんかなぁ・・・。ret weetで何かべつのモノに見えます。あとFalsoのページのCoqのコードは何をやってるんだっていうのが急募です。

Takashi Miyamoto @tmiya_

明日のProofCafeとかFalsoの話題で盛り上がるのかな？楽しそうでいいな。

YAMADA Kiyoshi @yamakiyo

何ですかこれは: http://estatis.coders.fm/falso

Jun Furuse @camlspotter

証明系は、何か大きなブレークスルーが無いと、金融では使えない、あと十年はかかるだろう、が業界の共通認識でした。こんなに早くその日が来るとは！笑いが止まりません！ RT @garriguejej: 最強の証明体系を発見。http://estatis.coders.fm/falso/

Jun Furuse @camlspotter

早速、明日の東京市場で私が大儲けして金持ちになることをfalso で証明してみよう。と思った土曜の朝。

おしいれのぼうけん @osiire

Falso HyperVerifierとFalso HyperProverをうちの会社に導入したいのですが、どこに行けば買えますか :) RT @garriguejej: 最強の証明体系を発見。http://estatis.coders.fm/falso/

ひろみ @hiromi2424

falsoがすごい気になるけど日本語のページほぼゼロだなー

kuenishi @kuenishi

B! : Falso, by Estatis Inc.: Falso, by Estatis Inc.The last decades have seen a major revolution in the performanc... http://bit.ly/akneY3