POPLmark challenge

Results: 11



#Item
11Logic in computer science / Formal methods / Automated theorem proving / Proof assistant / Type theory / POPLmark challenge / Twelf / HOL / Matita / Theoretical computer science / Mathematical software / Mathematical logic

PDF Document

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2010-08-30 07:17:32
UPDATE