Top Tweets for #proofgeneral
型を見るEmacs コマンドは？
* Coqの人: C-c C-a C-c または C-c C-a C-b
* OCamlの人: C-c C-t
定義を参照するのは？
* Coq: C-c C-a C-p
* OCaml: C-c C-l
#Coq #ProofGeneral #Merlin #ocaml #emacs
Learning #c program proving using #framac and #emacs --reminiscent of #coq proving with #proofgeneral.
https://t.co/Evbu938iHo
@Jose_A_Alonso
じぇねらるたんステッカーがたくさん届いたよ。 #proofgeneral
キャメロバさんがいつの間にか、いかつい緑の将軍になってる！！
#ProofGeneral
まじか「Update PG's logo」 https://t.co/MGfIyeiXHi #ProofGeneral
Last Seen Hashtags on Sotwe
brisbane
Seen from Australia
momson()+*+*+filter:native_video
Seen from Brazil
mtf #泌乳
Seen from United States
HijabCantik
Seen from Indonesia
fimose
Seen from Brazil
nolimit()++filter:native_video
Seen from United States
WONWOO
Seen from Malaysia
نيج_عراقية
Seen from United Kingdom
ไซด์ไลน์ขอนแก่น
Seen from Thailand
nsfwtwtًً
Seen from Canada
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
119.2M followers
Cristiano Ronaldo
@cristiano
112M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.2M followers
KATY PERRY
@katyperry
88.4M followers
Taylor Swift
@taylorswift13
82.3M followers
Lady Gaga
@ladygaga
73.8M followers
Virat Kohli
@imvkohli
71.1M followers
Kim Kardashian
@kimkardashian
70.2M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.3M followers
Neymar Jr
@neymarjr
64M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.5M followers
X
@x
60.8M followers