Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] want to join with u

Email Gateway (Aug 17 2022 at 13:27):

From: abm rahman <sayeed_ju@yahoo.com>
Hi everyone of the group,

I am from Bangladesh. i m an
undergraduate student of computer science dept of
Jahangirnagar university,Bangladesh. I am going to
start working in isabelle.So, everybody please help me
if possible for u.

Thanking u all-

Saidur Rahman
Dhaka, Bangladesh

Yahoo! Mail - PC Magazine Editors' Choice 2005
http://mail.yahoo.com

Last updated: Nov 21 2024 at 12:39 UTC