Re: [isabelle] Another newbie question...case-based 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.


	Makarius




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