Questions tagged [natural-deduction]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
64 views

How to write a low-level proof in Isar?

I would like to formalize ...
Gergely's user avatar
  • 299