Ysabela.rar Site

: Papers related to the Isabelle proof assistant and the Isar formal proof language .

To help you find the correct "full paper," please clarify which of the following you are looking for: Ysabela.rar

Could you tell me the of the paper or where you first saw the filename? (PDF) Isabela Crater-Lake: a Mexican insular saline lake : Papers related to the Isabelle proof assistant