option algorithm ssreflect coq formal verification null haskell maybe extend implicit conversion iterable scala
See more