Search alternatives:
"prover" » "proved", "proves", "grover"
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
“...Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a...”
Cover Image
Read Now

2
by Shi, Zhiping, Guan, Yong, Li, Ximeng
Published 2020
Springer Nature Singapore
“..., and function matrices. The formalization is performed using the interactive theorem prover HOL4, chiefly...”
Cover Image
Read Now

3
by Breitner, Joachim
Published 2016
KIT Scientific Publishing
“... Arity" is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade...”
Cover Image
Read Now

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Theorem Prover -- II Design Calculi -- Lectures on Constructive Functional Programming -- On a Problem...”