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.
Security Engineering
Research group specializing in security engineering and formal methods — Moved to http://serg.imsciences.edu.pk
In simple words: Impressive!
By: shazkhan on August 29, 2007
at 10:09 am
Lol, not much. I’ll be glad when I can contribute to Isabelle’s Archive of Formal Proofs.
By: recluze on August 29, 2007
at 10:17 am
shazkhan: your comment got hit by an “abuse checker”. Please contact your system administrator for details.
By: recluze on August 29, 2007
at 11:07 am
Its a pleasure to see this development. I can see IIT Dehli, just next door to us.
Please keep it up!
MM Alam
By: alam78 on August 29, 2007
at 12:13 pm
I thought I was the system administrator?
By: shazkhan on August 29, 2007
at 1:17 pm