#Coqdoc - Twitter Hashtag

Yoshihiro Imai @yoshihiro503

almost 2 years ago

coqdocではforallが∀になるなどいくつかのキーワードが自動でUnicode文字に表示されるけど，具体的にはCoqのこのコードで処理しているっぽい https://t.co/swpvtdEp36 #Coq #coqdoc

0

3

0

2

267

Fairy✨ @Dendrite_Fairy

over 2 years ago

This is freaking EPIC 🔥🔥… 👏🏼 … can we just agree MORE to these kind of compilations!! More need to be released…. #Coqdoc #documentary #docthosememories #coqsensus #winning

NoFuture

@nofuture

over 2 years ago

I had a blast at COQSensus hanging with the @CoqInuAvax fam! The Avax community is built different

47

96

42

3

8K

1

13

0

184

Yoshihiro Imai @yoshihiro503

over 2 years ago

Coqのglobファイルっていつからあるんだろうと思っていたら2008年に書いた自分のブログが見つかった https://t.co/xjNdtbyzdb #coq #glob #coqdoc

0

2

1

277

Yoshihiro Imai @yoshihiro503

over 9 years ago

「このブログはCoqで書きました。」 #coqdoc #ProofCafe

0

3

1

0

Yoshihiro Imai @yoshihiro503

about 11 years ago

Coqのソースコードから納品物の証明報告書を自動生成する方法を書いたよ。 #Coq #納品物 #coqdoc #platex #日本語 QT http://t.co/AM3jQSfbuK

Yoshihiro Imai @yoshihiro503

about 11 years ago

coqdocで日本語を含むPDFを生成する on @Qiita http://t.co/vf6qiC6fEC

0

3

1

0

5

7

0

Top Tweets for #Coqdoc

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users