3,333 followers
Formalizing size-optimal sorting networks: Extracting a certified proof checker. ~ L. Cruz-Filipe http://t.co/YHioGU3J6q #Coq
Formalizing size-optimal sorting networks: Extracting a certified proof checker. ~ L. Cruz-Filipe http://t.co/YHioGU3J6q #Coq
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. (arXiv:1502.05209v2 [cs.LO] UPDATED) http://t.co/DSXlJFMJdy
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker http://t.co/ZEmleR0v6a