User talk:Prime.mover
From Knowino
Welcome to the club! --Boris Tsirelson 09:25, 2 October 2011 (EDT)
In relation to the ProofWiki... maybe look at Proof assistant. --Boris Tsirelson 09:34, 2 October 2011 (EDT)
- Good call. Interestingly it's treading the same ground that I've been over recently at ITP 2011 this summer. Still digesting the work done and evaluating strategies. --prime mover 10:10, 2 October 2011 (EDT)
- Yes, I see: the same ground. Nice. As far as I understand, Isabelle is freely available, while Mizar is not. Boris Tsirelson 12:12, 2 October 2011 (EDT)