search

ryuta-ito / coqtop-vim

Interact with coqtop within Vim
0 stars 0 forks source link

モジュール内に定義されたアレを呼び出せなくてつらい #2

Closed ryuta-ito closed 6 years ago

ryuta-ito commented 6 years ago 
Check PeanoNat.Nat.le_refl.

とかにCoqGotoすると止まる