Fix typos in Isabelle options #144

Open

Labels

Milestone

opened

E.g: "Linient" instead of Lenient

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

SoonNo due date

Relationships

None yet

Development

No branches or pull requests