You can file a total loss of value or control of coins by going to Dashboard > Import More Transactions > Manual Entry > Outgoing, "Loss" from Dropdown.

For tax purposes, make sure you keep good records of the loss of your coins.

Here is a video showing how to mark as Stolen/Lost:

Did this answer your question?