Define FromOp type class and use it in the proof mode.

1 job for master in 9 minutes and 33 seconds
Status Job ID Name Coverage
  Test
passed buildjob #913
coq

00:09:33