Re: [isabelle] Another newbie proofs

On 12/03/2019 17:15, Wolfgang Jeltsch wrote:
> By the way, have there been any attempts so far to integrate Isabelle
> into Vim?

No, Isabelle is moving in the opposite direction.

I recommend HOL4 in that respect.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.