[metis-users] theorem prover

[موسى دمبا]

Dear,
I would like a theorem prover where I can add new tactics for proving
properties of equational programs. I don't know if I can do it with metis,
and if metis supports second order substitutions,
many thanks,
-- 
Moussa Demba

-- 
 

*بيان إخلاء المسؤولية*

إن المعلومات الواردة في هذا البريد الإلكتروني وأي ملفات مرفقة هي معلومات 
خاصة بالمرسل إليه أو المتعامل و قد تحتوي على معلومات سرية أو مواد محمية 
ولذلك يحظر على أي شخص آخر الإطلاع على محتويات هذا البريد الإلكتروني. الرجاء 
إذا لم تكن أحد المعنيين باستلام هذا البريد الإلكتروني، المبادرة بإشعار 
المرسل فوراً وحذف المواد التي يتضمنها البريد الإلكتروني. يمنع منعاً باتاً 
نسخ أو توزيع أو اتخاذ أو إلغاء أي أجراء بالإعتماد على هذا البريد 
الإلكتروني. لا تتحمل جامعة الجوف أي مسؤولية قانونية عن أي أضرار ناتجة عن أي 
فيروس أو برامج ترسل بواسطة هذا البريد الإلكتروني .
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/metis/mailing-list/attachments/20170206/9a226366/attachment.html>