Konrad Slind

Personal information


Developer of HOL theorem prover.


Higher order logic, specification and verification,
functional programming.

History


17 years 46 weeks

AltStyle によって変換されたページ (->オリジナル) /