Now, the world can know that we’re working with Isabelle. Check out Isabelle’s world map here. And Tobias Nipkow was here in Peshawar! In March. When I was working my head off trying to get to grips with Isabelle. That was a chance missed.

5 Responses to " Security Engineering on Isabelle World Map "
 
shazkhan
August 29th, 2007

In simple words: Impressive!

 
recluze
August 29th, 2007

Lol, not much. I’ll be glad when I can contribute to Isabelle’s Archive of Formal Proofs.

 
recluze
August 29th, 2007

shazkhan: your comment got hit by an “abuse checker”. Please contact your system administrator for details.

 
alam78
August 29th, 2007

Its a pleasure to see this development. I can see IIT Dehli, just next door to us.

Please keep it up!

MM Alam

 
shazkhan
August 29th, 2007

I thought I was the system administrator?

Leave a Reply


(Required)

(Required)