Check out isabelle (@_isi