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
ISClub
Seen from United States
ديوت_بدويٌّْ
Seen from Switzerland
Teenagegirls() +filter:videos
Seen from Australia
Gropping
Seen from India
omegle
CreepyCretinCrispin
Seen from United States
ຄຮິມຫລຸດ
jujutsukaisennsfw
Seen from Greece
Momson() +filter:native_video
Seen from Turkey
rubbernun
Seen from New Zealand
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
119.2M followers
Cristiano Ronaldo
@cristiano
111.9M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107M 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.1M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.3M followers
Neymar Jr
@neymarjr
63.9M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.5M followers
X
@x
60.8M followers