search

ryuta-ito / coqtop-vim

Interact with coqtop within Vim
0 stars 0 forks source link

フリーズ #13

Closed ryuta-ito closed 4 years ago

ryuta-ito commented 4 years ago 
  all x : u, (some v : O, (v x /\ v <= u))
  -> (u <=> union {v : O | v <= u}).

でフリーズ