শীর্ষ বিকাশকারী সরঞ্জাম জন্য Michael Norrish

Hol সংক্ষিপ্ত উচ্চ আদেশ যুক্তিবিজ্ঞান থেকে উপপাদ্য প্রমাণ এবং প্রমাণ সরঞ্জাম প্রয়োগ করা যেতে পারে, যা একটি প্রোগ্রামিং পরিবেশ.অন্তর্নির্মিত সিদ্ধান্ত পদ্ধতি এবং উপপাদ্য provers স্বয়ংক্রিয়ভাবে অনেক সহজ উপপাদ্য স্থাপন করতে পারেন. একটি ওরাকল প্রক্রিয়া...