create new lean-explorer branch

Added: branches/lean-explorer/